gamepad
by ml4tp
A Learning Environment for Theorem Proving
AI summary
Proof platform
A platform that exposes Coq proofs to machine learning algorithms
- stars
- 72
- forks
- 15
- watching
- 9
Similar projects
Found by comparing what the projects do, not just their names.
coq/platform191
Proof assistant distribution
A multi-platform distribution of the Coq proof assistant and its libraries, providing a standardized setup for development and teaching
Coq simulator
A learning environment for theorem proving with the Coq proof assistant
Hypothesis manager
A Coq library providing tactics to manipulate hypotheses in formal proofs.
Coq IDE
A tool for interactive theorem proving and language support in Coq
mlreef/mlreef1.4K
ML platform
A platform for collaboration, data management, and reproducibility in machine learning development
Formal math proofs
A personal repository of formally verified mathematics using the Coq proof assistant
Proof assistant library
Python bindings for Coq's interactive proof assistant
mit-plv/kami143
Hardware specification platform
A platform for high-level parametric hardware specification and modular verification
Coq tutorials
Tutorials and materials for teaching Coq-based mathematical component development
Coq math library
A Coq library providing an alternative set of axioms and type class mechanisms for building and proving mathematical theorems.
Proof assistant
Coq proof assistant book with exercises and examples
MLOps platform
An MLOps platform providing tools and services to deploy, collaborate and manage machine learning models and data pipelines in a simplified way
Learning platform
A minimalistic programming language designed to be simple yet powerful, aiming to provide a stable and explainable system for learning and exploration.
Math proof tutor
A tutorial project on using Coq to mechanize mathematics with dependent types
