5 citations · 17 across the 6 of their papers we have counts for
1 paper · 2 filters
Makarius Wenzel, Burkhart Wolff
The Isabelle/PIDE platform addresses the question whether proof assistants of the LCF family are suitable as technological basis for educational tools. The traditionally strong log…