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