coq-corn

The CoRN library. A library for constructive analysis.

opam install coq-corn.1.1.0
homepage
http://corn.cs.ru.nl/
license
GPL 2
bugs tracker
https://github.com/c-corn/corn/issues
dependencies
coq (>= 8.5 & <= 8.5.2) & coq-math-classes
source
https://github.com/c-corn/corn/archive/v8.5.zip
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-corn/coq-corn.1.1.0