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.18.tar.gz
sha512=e0dd64426ac5ba25603ed57d3908b533c9c674aba453178851ae14f95dac81bab56eb16a9302b7a29079596057353fed773b99076449d3cd132f2e0ef6c6c1f1

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:2023-11-23

Published: 19 Nov 2023

Dependencies (1)

  1. coq >= "8.11" & < "8.19"

Dev Dependencies

None

Used by

None

Conflicts

None