Coq Tactician
A Seamless, Interactive Tactic Learner and Prover for Coq
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Coqgym | 327 | 10 months ago | lgpl-2.1 | Coq | ||||||
| A Learning Environment for Theorem Proving with the Coq proof assistant | ||||||||||
| Gamepad | 58 | 4 years ago | 9 | apache-2.0 | Coq | |||||
| A Learning Environment for Theorem Proving | ||||||||||
| Coq Tactician | 47 | 5 months ago | 35 | mit | OCaml | |||||
| A Seamless, Interactive Tactic Learner and Prover for Coq | ||||||||||
| Certint | 42 | a year ago | Coq | |||||||
| A Certified Interpreter for ML with Structural Polymorphism | ||||||||||
| Learn Haskell Coq Ml Etc | 34 | a year ago | unlicense | Haskell | ||||||
| Where I try code from Haskell (etc) books, articles, etc. | ||||||||||
| Pycoq | 34 | 2 years ago | 15 | OCaml | ||||||
| Python bindings for the Coq interactive proof assistant | ||||||||||
| Roosterize | 15 | 2 years ago | 2 | mit | Python | |||||
| Tool for suggesting lemma names in Coq verification projects | ||||||||||
| Fourcolortheorem | 9 | 8 years ago | 1 | other | Coq | |||||
| Gonthier's formal proof of the 4-color theorem, in Coq. | ||||||||||
| Misc Ml Scripts | 7 | 2 years ago | Haskell | |||||||
| Various ideas in OCaml, Haskell, and F* | ||||||||||
| Tiger | 5 | 7 years ago | Standard ML | |||||||
| Modern Compiler Implementation in ML | ||||||||||
Alternatives To Coq TacticianSelect To Compare
Alternative Project Comparisons
Popular Coq Projects
Popular Machine Learning Projects
Popular Mathematics Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Machine Learning
Ocaml
Coq
Theorem Proving