19 citations · 70 across the 21 of their papers we have counts for
1 paper · 1 filter
Nadine Karsten, Kim Jana Eiken, Uwe Nestmann
We report on our journey to develop ProofBuddy, a web application that is powered by a server-side instance of the proof assistant Isabelle, for the teaching and learning of proofs…