jlottes / 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: http://coq.inria.fr/cocorico/MathClasses
License: Other