Enhancing Agda's Error Messages with Hints
Maria Khakimova
Date: Wed, June 11, 2025
Time: 12:00
Room: Building 28 - 0.E.420 Turing
Previous:
| Formalizing "2-Functoriality of Initial Semantics, and Applications"
Next:
Pim Otte | Waterproof: Demo of an educational tool built on a theorem prover