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…