A library of abstract interfaces for mathematical structures in Coq.

opam install coq-math-classes.1.0.6

- homepage
- https://github.com/math-classes/
- license
- Public Domain
- bugs tracker
- dependencies
- coq >= 8.6
- source
- https://github.com/math-classes/math-classes/archive/v8.6.zip
- package
- https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-math-classes/coq-math-classes.1.0.6