YaelDillies / apapView external linksLinks
Formalisation of the Kelley-Meka bound on Roth numbers
☆21Updated this week
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☆73Jan 24, 2026Updated 3 weeks ago
- A formalized proof of Carleson's theorem in Lean☆84Feb 2, 2026Updated last week
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆32Jan 26, 2026Updated 2 weeks ago
- MA4N1 Theorem Proving with Lean☆17Nov 24, 2025Updated 2 months ago
- Examples using MetaProgramming for writing tactics etc.☆20Nov 26, 2025Updated 2 months ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆206Jan 24, 2026Updated 3 weeks ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆40Feb 1, 2026Updated 2 weeks ago
- Plain-text declaration export for Lean 4☆22Feb 6, 2026Updated last week
- A template for blueprint-driven formalization projects in Lean.☆94Jan 26, 2026Updated 2 weeks ago
- Document Generator for Lean 4☆125Updated this week
- Everything about AI4Gemetry (AI for geometry problem solving / theorem proving).☆17Dec 19, 2025Updated last month
- Formalization of IMO shortlist problems in Lean 4☆24Updated this week
- Tactics for discharging Lean goals into SMT solvers.☆257Updated this week
- ProofNet dataset ported into Lean 4☆29Jun 9, 2025Updated 8 months ago
- Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)☆29Updated this week
- 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
- ☆53Feb 6, 2026Updated last week
- Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries☆67Feb 29, 2024Updated last year
- Try a tactic at each step in a Lean proof.☆32Jan 26, 2026Updated 2 weeks ago
- Learning the basic fundamentals of high level programming with Python and JavaScript☆11Mar 10, 2023Updated 2 years ago
- computable implementation of real numbers in Lean4☆43Jul 6, 2025Updated 7 months ago
- Formalizing Euclidean Geometry in Lean☆30Mar 21, 2024Updated last year
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- 💧 Liquid Tensor Experiment☆221Jan 23, 2024Updated 2 years ago
- ☆36Oct 29, 2024Updated last year
- Bonn Lean course for winter 24/25☆40Jan 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 6, 2026Updated last week
- A Lean tactic for Canonical, a search procedure for terms in dependent type theory.☆107Dec 15, 2025Updated 2 months ago
- Lean 函数式编程☆43Dec 17, 2025Updated last month
- Helper toolkit for creating your own Lean 4 UserWidgets☆178Jan 26, 2026Updated 2 weeks ago
- Windows Community Toolkit design guide and templates☆12Jan 19, 2023Updated 3 years ago
- raw maxwell models and maxwell fan website☆11Mar 26, 2025Updated 10 months ago
- ☆13Updated this week
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year