Categories in Coq using SSReflect and packed classes
Primary LanguageCoqMIT LicenseMIT
No issues in this repository yet.