Quotients Revisited for Isabelle/HOL (2011)

by Cezary Kaliszyk, Christian Urban
Venue:In Proceedings of the 26th ACM Symposium On Applied Computing (SAC 2011