coq-corn

The CoRN library. A library for constructive analysis.

opam install coq-corn.8.8.1
homepage
http://corn.cs.ru.nl/
license
GPL 2
bugs tracker
https://github.com/coq-community/corn/issues
dependencies
coq (>= 8.6 & < 8.9~) & coq-math-classes >= 8.8.1
source
https://github.com/coq-community/corn/archive/8.8.1.zip
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-corn/coq-corn.8.8.1