package coq-coinductive-reals
Real numbers as coinductive ternary streams
Install
Dune Dependency
Authors
Maintainers
Sources
v8.10.0.tar.gz
md5=c84ff40df2465f37983b5f13e8ad39d1
Description
See the README file
Tags
keyword: real numbers keyword: co-inductive types keyword: co-recursion keyword: exact arithmetic category: Mathematics/Real Numbers date: 2007-04-24Published: 07 Dec 2019
Dependencies (3)
-
coq-qarith-stern-brocot
>= "8.10" & < "8.11~" -
coq
>= "8.10" & < "8.11~" - ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page