coq-corn

The CoRN library. A library for constructive analysis.

opam install coq-corn.1.2.0
homepage
http://corn.cs.ru.nl/
license
GPL 2
bugs tracker
https://github.com/c-corn/corn/issues
dependencies
coq >= 8.6 & coq-math-classes >= 1.0.7
source
https://github.com/c-corn/corn/archive/1.2.0.zip
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-corn/coq-corn.1.2.0