ProofBuddy: A Proof Assistant for Learning and Monitoring
Karsten, Nadine, Jacobsen, Frederik Krogsdal, Kim Jana Eiken, Nestmann, Uwe, Villadsen, Jørgen
Published in arXiv.org (14.08.2023)
Published in arXiv.org (14.08.2023)
Get full text
Paper
Journal Article