princeton-vl / CoqGymLinks
A Learning Environment for Theorem Proving with the Coq proof assistant
☆405Updated 2 years ago
Alternatives and similar repositories for CoqGym
Users that are interested in CoqGym are comparing it to the libraries listed below
Sorting:
- The HOL Light theorem prover☆461Updated last week
- Mathematical Components☆630Updated last week
- Program Synthesis Course☆254Updated last year
- Interactive neural theorem proving in Lean☆123Updated 3 years ago
- 💧 Liquid Tensor Experiment☆204Updated last year
- Perfectoid spaces in the Lean formal theorem prover.☆125Updated last year
- CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory☆228Updated 3 months ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆522Updated last month
- A collection of tools for writing technical documents that mix Coq code and prose.☆264Updated last week
- Metaprogramming, verified meta-theory and implementation of Rocq in Rocq☆457Updated last week
- ☆164Updated 5 years ago
- Mathematical Components compliant Analysis Library☆221Updated last week
- Metamath Zero specification language☆346Updated 2 weeks ago
- A formalization of geometry in Coq based on Tarski's axiom system☆197Updated 2 months ago
- Lean 3 Theorem Prover (community fork)☆434Updated last year
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- Visual Studio Code extension for Coq☆393Updated last week
- Lean Library currently studying for a degree at Imperial College☆226Updated 5 months ago
- Multi platform setup for Coq, Coq libraries and tools☆205Updated last week
- Metamath source file for logic and set theory☆288Updated last week
- ☆43Updated 5 months ago
- ☆256Updated 4 months ago
- White-box automation for Lean 4☆282Updated last week
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated last year
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆354Updated 6 months ago
- An introduction to theorem proving in Lean for the impatient.☆220Updated last month
- A gamification of the theorems in MATH40002 Analysis 1☆82Updated 2 years ago
- Catalog Of Math Problems Formalized In Lean☆180Updated this week
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆177Updated last week
- The Vampire Theorem Prover☆339Updated this week