package coq-coqtail

  1. Overview
  2. No Docs
Library of mathematical theorems and tools proved inside the Coq

Install

Dune Dependency

github.com Edit opam file Versions (4)

Authors

  1. G
    Guillaume Allais
  2. S
    Sylvain Dailler
  3. H
    Hugo Férée
  4. J
    Jean-Marie Madiot
  5. P
    Pierre-Marie Pédrot
  6. A
    Amaury Pouly

Maintainers

  1. P
    palmskog@gmail.com

Sources

v8.11.2.tar.gz
sha512=b1feff99708f91f852163f94bcc167a8aec9ca6052f8108f8925020aa749ef347549cc0f2b98c84f1778b8bf5e89ebc5ec372831a2b55e90b147aa306e1caa5d

Description

Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis.

Tags

category:Mathematics/Real Calculus and Topology keyword:real analysis keyword:complex analysis logpath:Coqtail date:2020-10-12

Published: 20 Oct 2020

Dependencies (1)

  1. coq >= "8.11" & < "8.13~"

Dev Dependencies

None

Used by

None

Conflicts

None