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

v1.2.0.zip
md5=5093b92735f30ea7a314a65b453ebe30

Description

Tags

logpath:Plouffe

Published: 03 Feb 2016

Dependencies (4)

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

Dev Dependencies

None

Used by

None

Conflicts

None