Gamepad
A Learning Environment for Theorem Proving
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Cakeml | 879 | 3 months ago | 194 | other | Standard ML | |||||
| CakeML: A Verified Implementation of ML | ||||||||||
| Leancopilot | 593 | 3 months ago | 1 | mit | C++ | |||||
| LLMs as Copilots for Theorem Proving in Lean | ||||||||||
| Leandojo | 397 | 3 months ago | 1 | mit | Python | |||||
| Tool for data extraction and interacting with Lean programmatically. | ||||||||||
| Certigrad | 346 | 5 years ago | apache-2.0 | Lean | ||||||
| Bug-free machine learning on stochastic computation graphs | ||||||||||
| Coqgym | 327 | 10 months ago | lgpl-2.1 | Coq | ||||||
| A Learning Environment for Theorem Proving with the Coq proof assistant | ||||||||||
| Reprover | 136 | 3 months ago | 1 | mit | Python | |||||
| Retrieval-Augmented Theorem Provers for Lean | ||||||||||
| Informatica Public | 78 | a year ago | cc0-1.0 | Standard ML | ||||||
| Public code developed during my MSc study at University of Bologna | ||||||||||
| 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 | ||||||||||
Alternatives To GamepadSelect To Compare
Alternative Project Comparisons
Popular Theorem Proving 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.
Python
Machine Learning
Ocaml
Coq
Gamepad
Theorem Proving