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☆480Updated 3 weeks ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆278Updated 2 months ago
- IMO Grand Challenge for Artificial Intelligence☆47Updated 3 years ago
- Mathematical Components☆656Updated last week
- ☆267Updated 8 months ago
- Program Synthesis Course☆265Updated last year
- 💧 Liquid Tensor Experiment☆211Updated last year
- Interactive neural theorem proving in Lean☆130Updated 3 years ago
- Mathematical Components compliant Analysis Library☆229Updated last week
- Perfectoid spaces in the Lean formal theorem prover.☆127Updated last year
- CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory☆231Updated last month
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆533Updated 5 months ago
- ☆165Updated 6 years ago
- A formalization of geometry in Coq based on Tarski's axiom system☆200Updated 6 months ago
- Visual Studio Code extension for Coq☆415Updated 2 weeks ago
- Metaprogramming, verified meta-theory and implementation of Rocq in Rocq☆482Updated this week
- Lean 3 Theorem Prover (community fork)☆433Updated 2 years ago
- Metamath source file for logic and set theory☆297Updated this week
- Lean Library currently studying for a degree at Imperial College☆229Updated 9 months ago
- White-box automation for Lean 4☆312Updated this week
- An introduction to theorem proving in Lean for the impatient.☆290Updated 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…☆122Updated last year
- The agda-unimath library☆276Updated this week
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆160Updated last year
- Some Lean tutorials☆183Updated 2 years ago
- Visual Studio Code extension for the Lean 4 proof assistant☆238Updated last week
- Catalog Of Math Problems Formalized In Lean☆211Updated this week
- A Learning Environment for Theorem Proving☆76Updated 3 years ago
- Metamath Zero specification language☆361Updated 3 months ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆195Updated this week