package coq-plouffe

  1. Overview
  2. No Docs
A Coq formalization of Plouffe formula

Install

Dune Dependency

github.com Edit opam file Versions (7)

Authors

  1. L
    Laurent Thery

Maintainers

  1. L
    Laurent.Thery@inria.fr

Sources

Submitted_article_version_nob.zip
md5=ff44f9f14fa6ebbe28b7d8c92f8a57a9

Description

Tags

logpath:Plouffe

Published: 06 Apr 2017

Dependencies (4)

  1. coq-coquelicot >= "2.1.0" & < "3.~"
  2. coq-mathcomp-ssreflect
  3. coq >= "8.5"
  4. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None