A library of abstract interfaces for mathematical structures in Coq.
Primary LanguageCoqOtherNOASSERTION