ProofBuddy: A Proof Assistant for Learning and Monitoring. - Nadine Karsten; Frederik Krogsdal Jacobsen; Kim Jana Eiken; Uwe Nestmann; Jørgen Villadsen (TFPIE, 2023)

ProofBuddy: How it Started, How it's Going. - Nadine Karsten; Kim Jana Eiken; Uwe Nestmann (ThEdu@CADE, 2024)