Formalisation of the Kelley-Meka bound on Roth numbers
☆21Feb 10, 2026Updated 3 weeks ago
Alternatives and similar repositories for apap
Users that are interested in apap are comparing it to the libraries listed below
Sorting:
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆74Feb 18, 2026Updated 2 weeks ago
- A formalized proof of Carleson's theorem in Lean☆85Updated this week
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆33Updated this week
- MA4N1 Theorem Proving with Lean☆17Nov 24, 2025Updated 3 months ago
- Examples using MetaProgramming for writing tactics etc.☆20Nov 26, 2025Updated 3 months ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆209Feb 10, 2026Updated 3 weeks ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆41Feb 27, 2026Updated last week
- Plain-text declaration export for Lean 4☆26Feb 26, 2026Updated last week
- A template for blueprint-driven formalization projects in Lean.☆95Feb 23, 2026Updated last week
- Document Generator for Lean 4☆131Updated this week
- Everything about AI4Gemetry (AI for geometry problem solving / theorem proving).☆17Dec 19, 2025Updated 2 months ago
- Formalization of IMO shortlist problems in Lean 4☆25Updated this week
- Leaff is a diff tool for Lean environments☆25Jan 18, 2025Updated last year
- Tactics for discharging Lean goals into SMT solvers.☆263Updated this week
- ProofNet dataset ported into Lean 4☆29Jun 9, 2025Updated 8 months ago
- A Lean 4 Jupyter kernel via repl☆35Nov 19, 2024Updated last year
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024☆63Aug 13, 2024Updated last year
- Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries☆67Feb 29, 2024Updated 2 years ago
- ☆56Feb 20, 2026Updated 2 weeks ago
- Formalizing Euclidean Geometry in Lean☆30Mar 21, 2024Updated last year
- Learning the basic fundamentals of high level programming with Python and JavaScript☆11Mar 10, 2023Updated 2 years ago
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- Try a tactic at each step in a Lean proof.☆35Updated this week
- ☆37Oct 29, 2024Updated last year
- computable implementation of real numbers in Lean4☆45Jul 6, 2025Updated 8 months ago
- 💧 Liquid Tensor Experiment☆225Jan 23, 2024Updated 2 years ago
- Bonn Lean course for winter 24/25☆43Jan 8, 2026Updated last month
- Building the linear algebra game!☆10Dec 2, 2024Updated last year
- Hospital Management System using Java AWT,SWINGS with ORACLE☆13Mar 20, 2022Updated 3 years ago
- ICD - Interface Control Document Management☆13Sep 7, 2025Updated 5 months ago
- Combinatorial game library in Lean 4☆56Feb 28, 2026Updated last week
- A Lean tactic for Canonical, a search procedure for terms in dependent type theory.☆108Updated this week
- Lean 函数式编程☆43Dec 17, 2025Updated 2 months ago
- A project to digitalise results from physics into Lean.☆498Feb 28, 2026Updated last week
- Helper toolkit for creating your own Lean 4 UserWidgets☆187Updated this week
- This is the official implementation for MA-LoT.☆19Aug 4, 2025Updated 7 months ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- raw maxwell models and maxwell fan website☆12Mar 26, 2025Updated 11 months ago