Towards a Practical Library for Monadic Equational Reasoning in Coq.

Ayumu Saito, Reynald Affeldt

Browse the full MPC paper archive.