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

8.20.tar.gz
sha512=4f2e9a4b9033d01caa233568a1f7ddb817414a1030e3ebe555f9f93dd6edb4e2f303b11c8d223f1f3d1ab5e857e708faa835287e4470cf038bd0408f9dc11866

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 date:2024-07-13 logpath:Coqtail

Published: 14 Jul 2024

Dependencies (1)

  1. coq >= "8.17" & < "8.21"

Dev Dependencies

None

Used by

None

Conflicts

None