tymmym / math-classes Goto Github PK
View Code? Open in Web Editor NEWThis project forked from coq-community/math-classes
A library of abstract interfaces for mathematical structures in Coq.
Home Page: https://math-classes.github.io/
License: Other