package coq-plouffe
A Coq formalization of Plouffe formula
Install
Dune Dependency
Authors
Maintainers
Sources
v1.2.0.zip
md5=5093b92735f30ea7a314a65b453ebe30
Description
Dependencies (4)
-
coq-coquelicot
>= "2.1.0" & < "3.~" - coq-mathcomp-ssreflect
-
coq
>= "8.5" & < "8.6~" - ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page