5 citations · 5 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025
ProofBuddy: How it Started, How it's Going
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…
cs.LO2023★ 5 cited
ProofBuddy: A Proof Assistant for Learning and Monitoring
Nadine Karsten, Frederik Krogsdal Jacobsen, Kim Jana Eiken +2
Proof competence, i.e. the ability to write and check (mathematical) proofs, is an important skill in Computer Science, but for many students it represents a difficult challenge. T…