Skip to Main content Skip to Navigation
Conference papers

Asynchronous User Interaction and Tool Integration in Isabelle/PIDE

Wenzel Makarius 1
1 LRI - Laboratoire de Recherche en Informatique
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-01766906
Contributor : Burkhart Wolff <>
Submitted on : Saturday, April 14, 2018 - 5:06:36 PM
Last modification on : Thursday, July 8, 2021 - 3:49:59 AM

Identifiers

  • HAL Id : hal-01766906, version 1

Collections

CNRS | UMR8623 | LRI-VALS | GS-COMPUTER-SCIENCE | EC-PARIS

Citation

Wenzel Makarius. Asynchronous User Interaction and Tool Integration in Isabelle/PIDE. Interactive Theorem Proving - 5th International Conference, ITP 2014, 2014, Vienna, Austria. ⟨hal-01766906⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

106

 

Contact                    Legal Notice                    Personal Data