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