11 citations · 19 across the 2 of their papers we have counts for
3 papers
cs.LO2019
Interaction with Formal Mathematical Documents in Isabelle/PIDE
Makarius Wenzel
Isabelle/PIDE has emerged over more than 10 years as the standard Prover IDE for interactive theorem proving in Isabelle. The well-established Archive of Formal Proofs (AFP) testif…
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…
cs.LO2012★ 8 cited
Isabelle/jEdit --- a Prover IDE within the PIDE framework
Makarius Wenzel
PIDE is a general framework for document-oriented prover interaction and integration, based on a bilingual architecture that combines ML and Scala. The overall aim is to connect LC…