Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

System description: Isabelle/jEdit in 2014

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-01766905
Contributor : Burkhart Wolff Connect in order to contact the contributor
Submitted on : Saturday, April 14, 2018 - 5:03:20 PM
Last modification on : Sunday, June 26, 2022 - 12:09:18 PM

Identifiers

  • HAL Id : hal-01766905, version 1

Collections

Citation

Wenzel Makarius. System description: Isabelle/jEdit in 2014. Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, UITP 2014, 2014, Vienna, Austria. ⟨hal-01766905⟩

Share

Metrics

Record views

43