package coq-plouffe
A Coq formalization of Plouffe formula
Install
Dune Dependency
Authors
Maintainers
Sources
v1.5.0.tar.gz
sha256=4bcfaa6be7a1069056e92c43e6ad8c71ea86204bc707e2970915ec86f7cf56e6
Description
Dependencies (5)
-
coq-coquelicot
>= "3.4.2" - coq-mathcomp-ssreflect
- coq-bignums
-
coq
>= "8.20" & < "8.21~" - ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page