plasTeX plugin to build formalization blueprints.
☆299Dec 23, 2025Updated 2 months ago
Alternatives and similar repositories for leanblueprint
Users that are interested in leanblueprint are comparing it to the libraries listed below
Sorting:
- Helper toolkit for creating your own Lean 4 UserWidgets☆185Feb 24, 2026Updated last week
- Theorem relational dependencies automatic extraction and visualization as a graph for Lean4.☆39Feb 15, 2026Updated 2 weeks ago
- A template for blueprint-driven formalization projects in Lean.☆95Feb 23, 2026Updated last week
- Formalization of Mathematical Logic☆210Updated this week
- Document Generator for Lean 4☆130Feb 25, 2026Updated last week
- Catalog Of Math Problems Formalized In Lean☆234Updated this week
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆209Feb 10, 2026Updated 3 weeks ago
- Tools based on AI for helping with Lean 4☆114Feb 25, 2026Updated last week
- A static analysis tool for Lean 4.☆114Updated this week
- White-box automation for Lean 4☆342Updated this week
- Experiments on automation for Lean☆163Feb 19, 2026Updated 2 weeks ago
- Natural language tactics to teach mathematics using Lean 4☆118Feb 11, 2026Updated 3 weeks ago
- Lean theorem proving interface which feels like pen-and-paper proofs.☆491Dec 11, 2025Updated 2 months ago
- The math library of Lean 4☆2,946Updated this week
- Benchmark for undergraduate-level formal mathematics☆117Oct 14, 2024Updated last year
- A formalization of PCF theory in lean☆12Apr 5, 2025Updated 11 months ago
- Plain-text declaration export for Lean 4☆26Updated this week
- ☆105Feb 19, 2026Updated 2 weeks ago
- Scientific computing in Lean 4☆469Feb 18, 2026Updated 2 weeks ago
- A tool to auto-generate and render slides from Markdown comments in the Lean editor.☆24Jan 19, 2026Updated last month
- General neural tactic for Lean 4☆26Updated this week
- Lean documentation authoring tool☆259Updated this week
- tool for turning Lean proofs into Blender animations☆83Dec 28, 2025Updated 2 months ago
- Tactics for discharging Lean goals into SMT solvers.☆263Updated this week
- A project to digitalise results from physics into Lean.☆498Updated this week
- A simple REPL for Lean 4, returning information about errors and sorries.☆191Feb 25, 2026Updated last week
- Beginner's guide to Tactic Programming in Lean☆68Aug 29, 2025Updated 6 months ago
- Lean web editor☆133Jan 6, 2026Updated last month
- ☆275Feb 28, 2025Updated last year
- LLMs as Copilots for Theorem Proving in Lean☆1,225Feb 17, 2026Updated 2 weeks ago
- The user home repository for the Mathematics in Lean tutorial.☆472Aug 8, 2025Updated 6 months ago
- A formal consistency proof of Quine's set theory New Foundations☆79Feb 25, 2026Updated last week
- 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
- ☆22Jan 14, 2026Updated last month
- Mathlib search tool☆123Feb 26, 2026Updated last week
- Proof artifact co-training for Lean☆45Dec 29, 2022Updated 3 years ago
- Visual Studio Code extension for the Lean 4 proof assistant☆253Updated this week
- Lean 4 library for pretty printing expressions as LaTeX☆34Mar 5, 2025Updated 11 months ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆822Updated this week