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