/math-classes

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

Primary LanguageCoqMIT LicenseMIT

Stargazers

No one’s star this repository yet.