princeton-vl / CoqGymLinks
A Learning Environment for Theorem Proving with the Coq proof assistant
☆415Updated 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☆490Updated 2 weeks ago
- 💧 Liquid Tensor Experiment☆215Updated last year
- Program Synthesis Course☆264Updated last year
- Mathematical Components☆663Updated this week
- Interactive neural theorem proving in Lean☆131Updated 3 years ago
- ☆165Updated 6 years ago
- CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory☆234Updated 3 weeks ago
- Lean 3 Theorem Prover (community fork)☆433Updated 2 years ago
- IMO Grand Challenge for Artificial Intelligence☆47Updated 3 years ago
- Lean Library currently studying for a degree at Imperial College☆229Updated 10 months ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆535Updated 7 months ago
- ☆268Updated 10 months ago
- A formalization of geometry in Coq based on Tarski's axiom system☆200Updated last month
- A collection of tools for writing technical documents that mix Coq code and prose.☆280Updated 3 months ago
- Visual Studio Code extension for Coq☆426Updated 3 weeks ago
- Mathematical Components compliant Analysis Library☆231Updated this week
- Metaprogramming, verified meta-theory and implementation of Rocq in Rocq☆494Updated last week
- Perfectoid spaces in the Lean formal theorem prover.☆128Updated last year
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆122Updated last year
- An introduction to theorem proving in Lean for the impatient.☆311Updated 3 weeks ago
- Metamath Zero specification language☆364Updated last week
- Some Lean tutorials☆183Updated 2 years ago
- Multi platform setup for Coq, Coq libraries and tools☆222Updated 2 weeks ago
- ☆43Updated last month
- Metamath source file for logic and set theory☆300Updated last week
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆201Updated last week
- Source code for the Mathematics in Lean tutorial.☆177Updated 4 months ago
- White-box automation for Lean 4☆325Updated 2 weeks ago
- The Vampire Theorem Prover☆370Updated this week
- A Learning Environment for Theorem Proving☆76Updated 3 years ago