CoqGym
by princeton-vl
A Learning Environment for Theorem Proving with the Coq proof assistant
AI summary
Coq simulator
A learning environment for theorem proving with the Coq proof assistant
- stars
- 388
- forks
- 50
- watching
- 15
Similar projects
Found by comparing what the projects do, not just their names.
Proof assistant library
Python bindings for Coq's interactive proof assistant
Coq IDE
A tool for interactive theorem proving and language support in Coq
Proof platform
A platform that exposes Coq proofs to machine learning algorithms
Coq IDE kernel
A Jupyter notebook kernel for interactive theorem proving with Coq
Coq math library
A Coq library providing an alternative set of axioms and type class mechanisms for building and proving mathematical theorems.
Math proof tutor
A tutorial project on using Coq to mechanize mathematics with dependent types
Coq tutorials
Tutorials and materials for teaching Coq-based mathematical component development
Proof Assistant
Enables interactive proof development in Vim similar to other proof assistants.
Coq generator
Tool for generating Coq definitions and proofs for locally nameless representations
Proof assistant
Coq proof assistant book with exercises and examples
Theorem repository
Repository tracking famous theorems proved using proof assistants.
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 IDE
An Emacs plugin that enhances Coq mode with various features and tools for writing and debugging proof-based software
Proof automation library
A Coq library demonstrating design patterns for automated proof automation and canonical structures
