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.14.tar.gz
sha512=ed7d54c4d42a01ae92db6c2116e503caace26462ccee46630a0256865440122ca044984ee249c30dbef78a7d83d6bda568873a1c579c6279dc1ed49a83812e31

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:2021-11-02

Published: 02 Nov 2021

Dependencies (1)

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

Dev Dependencies

None

Used by

None

Conflicts

None