gamepad
Proof platform
A platform that exposes Coq proofs to machine learning algorithms
A Learning Environment for Theorem Proving
72 stars
9 watching
15 forks
Language: Coq
last commit: over 2 years ago coqmachine-learningpythontheorem-proving
Related projects:
| Repository | Description | Stars |
|---|---|---|
 coq/platform | A multi-platform distribution of the Coq proof assistant and its libraries, providing a standardized setup for development and teaching | 188 |
 princeton-vl/coqgym | A learning environment for theorem proving with the Coq proof assistant | 384 |
 matafou/libhyps | A Coq library providing tactics to manipulate hypotheses in formal proofs. | 20 |
 ejgallego/coq-lsp | A tool for interactive theorem proving and language support in Coq | 152 |
 mlreef/mlreef | A platform for collaboration, data management, and reproducibility in machine learning development | 1,442 |
 stepchowfun/proofs | A personal repository of formally verified mathematics using the Coq proof assistant | 291 |
| ejgallego/pycoq | Python bindings for Coq's interactive proof assistant | 50 |
 mit-plv/kami | A platform for high-level parametric hardware specification and modular verification | 142 |
 math-comp/tutorial_material | Tutorials and materials for teaching Coq-based mathematical component development | 17 |
 charguer/tlc | A Coq library providing an alternative set of axioms and type class mechanisms for building and proving mathematical theorems. | 38 |
 coq-community/coq-art | Coq proof assistant book with exercises and examples | 110 |
 omegaml/omegaml | An end-to-end MLOps platform that streamlines machine learning development, deployment, and collaboration. | 95 |
 darius/cant | A minimalistic programming language designed to be simple yet powerful, aiming to provide a stable and explainable system for learning and exploration. | 58 |
 ilyasergey/pnp | A tutorial project on using Coq to mechanize mathematics with dependent types | 160 |