Mathematical Quotients and Quotient Types in Coq

Abstract
No abstract available

This publication has 3 references indexed in Scilit: