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 & < 8.7)
- source
- https://github.com/math-classes/math-classes/archive/1.0.6.tar.gz
- package
- https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-math-classes/coq-math-classes.1.0.6