Enhancing Interactive Theorem Prover Error Messages with Hints
2026 · International Conference on Interactive Theorem Proving · pp. 5:1-5:19 · 0 citations
· 38 references
Computer Science