Talk on Monadic Equation Reasoning (@ TPP2021)
Saito gave a presentation on a monadic equational reasoning at The 17th Theorem Proving and Provers meeting (TPP 2021).
- Ayumu Saito and Reynald Affeldt. Extending Monae to formalize quicksort using monads in Coq