ProofBuddy: A Proof Assistant for Learning and Monitoring
Saved in:
Published in | Electronic proceedings in theoretical computer science Vol. 382; pp. 1 - 21 |
---|---|
Main Authors | , , , , |
Format | Journal Article |
Language | English |
Published |
14.08.2023
|
Online Access | Get full text |
Cover
Loading…
ISSN: | 2075-2180 2075-2180 |
---|---|
DOI: | 10.4204/EPTCS.382.1 |