11 citations · 19 across the 2 of their papers we have counts for
Showing cs.HCShow all
2 papers · 1 filter
cs.HC2018
Isabelle/jEdit as IDE for Domain-specific Formal Languages and Informal Text Documents
Makarius Wenzel
Isabelle/jEdit is the main application of the Prover IDE (PIDE) framework and the default user-interface of Isabelle, but it is not limited to theorem proving. This paper explores…
cs.HC2013★ 11 cited
PIDE as front-end technology for Coq
Makarius Wenzel
Isabelle/PIDE is the current Prover IDE technology for Isabelle. It has been developed in ML and Scala in the past 4-5 years for this particular proof assistant, but with an open m…