Formalization of the Millennium Problems in Lean 4
☆44Jan 16, 2026Updated last month
Alternatives and similar repositories for LeanMillenniumPrizeProblems
Users that are interested in LeanMillenniumPrizeProblems are comparing it to the libraries listed below
Sorting:
- Plain-text declaration export for Lean 4☆26Updated this week
- A search engine for Lean 4 declarations☆52Feb 10, 2026Updated 2 weeks ago
- Library implementing type inference/checking functionality based on the Lean theorem prover☆96Feb 21, 2026Updated last week
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆43Feb 14, 2026Updated 2 weeks ago
- (Mirror) A Machine-to-Machine Interaction System for Lean 4☆52Updated this week
- Formalization of IMO shortlist problems in Lean 4☆25Updated this week
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- ☆105Feb 19, 2026Updated last week
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- A platform for formalizing OEIS sequences in Lean 4☆18Updated this week
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆14Updated this week
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- Interactive React-powered charting library for Lean 4 in VS Code's infoview☆15Jan 5, 2026Updated last month
- Verified efficient algorithms in Lean4.☆37Jan 3, 2026Updated last month
- Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)☆31Feb 12, 2026Updated 2 weeks ago
- A formalization of ML kernel languages☆43Updated this week
- ☆14Updated this week
- A formalization of PCF theory in lean☆12Apr 5, 2025Updated 10 months ago
- Document Generator for Lean 4☆130Updated this week
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated last year
- General neural tactic for Lean 4☆25Feb 20, 2026Updated last week
- MnemOS Global Networking Protocol☆15Jan 26, 2024Updated 2 years ago
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆10Aug 27, 2022Updated 3 years ago
- Tool to analyse the import structure of lean projects.☆18Feb 24, 2026Updated last week
- 📝 A Rocq library written by members of PnV Discord Server☆19Feb 17, 2026Updated 2 weeks ago
- Formalisation of the theory of real closed fields in Lean 4.☆15Updated this week
- Superposition prover☆17Feb 16, 2023Updated 3 years ago
- ☆17Feb 16, 2026Updated 2 weeks ago
- It's a baby compiler. (Lean btw.)☆16May 19, 2025Updated 9 months ago
- 📚 (WIP) Formal proofs of "An Infinitely Large Napkin"☆20Feb 18, 2026Updated last week
- maze game encoded in Lean 4 syntax☆69Jul 2, 2025Updated 8 months ago
- A WebAssembly implementation in Lean4☆41Dec 13, 2023Updated 2 years ago
- ☆47Jan 23, 2026Updated last month
- Tools based on AI for helping with Lean 4☆114Updated this week
- Program Specification in Lean 4☆22Jan 15, 2024Updated 2 years ago
- Lean type-checker written in Scala.☆41Mar 13, 2022Updated 3 years ago
- ☆91Updated this week
- ☆16Jul 3, 2023Updated 2 years ago
- ☆29Feb 23, 2026Updated last week