/math-classes

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters]

Primary LanguageCoqMIT LicenseMIT

No issues in this repository yet.