Coq OPAMcoq-mathcomp-real-closed
Mathematical Components Library on real closed fields
opam install coq-mathcomp-real-closed.1.0.4
- homepage
- https://github.com/math-comp/real-closed
- license
- CeCILL-B
- bugs tracker
- https://github.com/math-comp/real-closed/issues
- dependencies
- "coq" {(>= "8.7" & < "8.12~")} "coq-mathcomp-field" {(>= "1.8.0" & <= "1.10.0")} "coq-mathcomp-bigenough" {(>= "1.0.0" & < "1.1~")}
- source
- https://github.com/math-comp/real-closed/archive/1.0.4.tar.gz
- package
- https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-mathcomp-real-closed/coq-mathcomp-real-closed.1.0.4