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 <>
Submitted on : Saturday, April 14, 2018 - 5:03:20 PM
Last modification on : Saturday, May 1, 2021 - 3:39:12 AM

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

100