Conference Papers
Year :
Burkhart Wolff : Connect in order to contact the contributor
https://hal.inria.fr/hal-01766906
Submitted on : Saturday, April 14, 2018-5:06:36 PM
Last modification on : Sunday, June 26, 2022-12:09:18 PM
Dates and versions
Identifiers
- HAL Id : hal-01766906 , version 1
Cite
Wenzel Makarius. Asynchronous User Interaction and Tool Integration in Isabelle/PIDE. Interactive Theorem Proving - 5th International Conference, ITP 2014, 2014, Vienna, Austria. ⟨hal-01766906⟩
38
View
0
Download