Jesper Cockx
Jesper Cockx
Affiliation: Delft University of Technology
Pages in this Program
Enhancing Interactive Theorem Prover Error Messages with Hints
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑