Reviews
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
Search similar apps
License
Other
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
Creator
Related apps
bignums
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used t
Coq22lgpl-2.1
4 months ago
coqcoq-cicoq-platform
coqeal
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
Coq66other
3 months ago
coqcoq-cicoq-platform
manifesto
Documentation on goals of the coq-community organization, the shared contributin
68other
7 months ago
community-drivencoqmanifesto
paramcoq
Coq plugin for parametricity [maintainer=@proux01]
Coq44other
4 months ago
coqcoq-cicoq-platform
vscoq
A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynh
OCaml325mit
4 months ago
coqeditorvscode
corn
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
Coq109gpl-2.0
2 months ago
coqcoq-cicoq-library
lemma-overloading
Libraries demonstrating design patterns for programming and proving with canonic
Coq26other
3 years ago
automationcanonical-structurescoq
tarjan
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly
Coq13
last year
coqmathcompmathcomp-ci
coq-dpdgraph
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
Coq86lgpl-2.1
2 months ago
coqcoq-cicoq-platform
comp-dec-modal
Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]
Coq8other
3 months ago
coqctlmathcomp
coqtail-math
Coqtail is a library of mathematical theorems and tools proved inside the Coq pr
Coq15other
4 months ago
complex-analysiscoqreal-analysis
awesome-coq
A curated list of awesome Coq libraries, plugins, tools, verification projects,
301cc0-1.0
4 months ago
awesomeawesome-listcoq
coq-ext-lib
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liy
Coq128bsd-2-clause
2 months ago
coqcoq-cicoq-platform
coq-art
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
Coq105mit
4 months ago
coqcoq-artdocker-coq-action
docker-coq
Docker images of the Coq proof assistant (see also: https://github.com/coq-commu
Dockerfile37bsd-3-clause
4 months ago
cicoqdocker-coq