TY  - RPRT
TI  - ProofBuddy: A Proof Assistant for Learning and Monitoring
AU  - Nadine Karsten
AU  - Frederik Krogsdal Jacobsen
AU  - Kim Jana Eiken
AU  - Uwe Nestmann
AU  - Jørgen Villadsen
PY  - 2023
DO  - 10.4204/eptcs.382.1
UR  - https://arxiv.org/abs/2308.06970
ID  - 2308.06970
ER  -