Pumpkin Patch

Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
Alternatives To Pumpkin Patch
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Mtac250
2 months ago71otherCoq
Unicoq46
5 months ago7mitOCaml
An enhanced unification algorithm for Coq
Pumpkin Patch38
3 years ago45mitOCaml
Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
Codegen33
a year agolgpl-2.1OCaml
Coq plugin for monomorphization and C code generation
Aac Tactics29
3 months ago1otherOCaml
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
Coqast26
4 years ago2OCaml
Fun plugin to play with the Gallina AST.
Oeuf17
5 years agoCoq
gallina frontend for CompCert
Typingflags16
4 years ago2Coq
A Coq plugin to disable positivity check, guard check and termination check
Constructors15
6 years ago1bsd-2-clauseOCaml
Example Coq plugin
.github14
7 months ago1apache-2.0
asdf-community meta repository
Alternatives To Pumpkin Patch
Select To Compare


Alternative Project Comparisons
Popular Coq Projects
Popular Plugin Projects
Popular Mathematics Categories
Related Searches

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Plugin
Ocaml
Coq
Pattern Matching