Enhancing Interactive Theorem Prover Error Messages with Hints.

Maria Khakimova, Sra Juhosov, Jaro S. Reinders, Jesper Cockx

Browse the full ITP paper archive.