11 citations · 19 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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.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…