Reviews
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. [maintainer=@jmadiot]
Search similar apps
License
Other
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. [maintainer=@jmadiot]
Creator
Related apps
alea
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@v
Coq23lgpl-2.1
2 years ago
coqmonadpaper-artifacts
bignums
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used t
Coq23lgpl-2.1
5 months ago
coqcoq-cicoq-platform
coqeal
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
Coq65other
5 months ago
coqcoq-cicoq-platform
fourcolor
Formal proof of the Four Color Theorem [maintainer=@ybertot]
Coq135other
6 months ago
coqcoq-cifour-color-theorem
manifesto
Documentation on goals of the coq-community organization, the shared contributin
68other
9 months ago
community-drivencoqmanifesto
paramcoq
Coq plugin for parametricity [maintainer=@proux01]
Coq44other
5 months ago
coqcoq-cicoq-platform
vscoq
A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynh
OCaml272mit
5 months ago
coqeditorvscode
corn
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe]
Coq108gpl-2.0
6 months ago
coqcoq-cicoq-library
gaia
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintain
Coq24mit
6 months ago
bourbakicoqdocker-coq-action
lemma-overloading
Libraries demonstrating design patterns for programming and proving with canonic
Coq26other
2 years ago
automationcanonical-structurescoq
math-classes
A library of abstract interfaces for mathematical structures in Coq [maintainer=
Coq158mit
6 months ago
coqcoq-cicoq-library
reglang
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
Coq38other
5 months ago
coqcoq-nix-toolboxcoq-platform
coq-nix-toolbox
Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zim
Nix31mit
5 months ago
coqnix
graph-theory
Graph Theory [maintainers=@chdoc,@damien-pous]
Coq28
6 months ago
coqdocker-coq-actiongraph-theory
tarjan
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly
Coq11
9 months ago
coqmathcompmathcomp-ci
templates
Templates for configuration files and scripts useful for maintaining Coq project
Mustache11unlicense
5 months ago
continuous-integrationcoqmustache-templates
coq-100-theorems
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
HTML50other
10 months ago
coqtheorems
coq-dpdgraph
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
Coq82lgpl-2.1
5 months ago
coqcoq-cicoq-platform
aac-tactics
Coq plugin providing tactics for rewriting universally quantified equations, mod
OCaml29other
6 months ago
coqcoq-cicoq-platform