☆11Oct 31, 2021Updated 4 years ago
Alternatives and similar repositories for hilberts-axioms
Users that are interested in hilberts-axioms are comparing it to the libraries listed below
Sorting:
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Dec 18, 2018Updated 7 years ago
- ☆12Feb 18, 2024Updated 2 years ago
- Lean mathzoo☆24Mar 23, 2022Updated 3 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- 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
- Lean 3 web editor☆13Oct 25, 2023Updated 2 years ago
- ☆14Updated this week
- Material from M1P1, formalised in Lean☆15Nov 2, 2019Updated 6 years ago
- Interactive, web-based visual math assistant☆12Feb 17, 2026Updated 3 weeks ago
- ☆38May 31, 2023Updated 2 years ago
- ☆22Nov 23, 2023Updated 2 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆26May 27, 2020Updated 5 years ago
- ☆25Apr 21, 2021Updated 4 years ago
- sorear's Metamath system engine - version 3 Rust☆25May 31, 2023Updated 2 years ago
- Conservative floating point interval arithmetic in Lean☆24Jan 20, 2026Updated last month
- ☆18Nov 29, 2021Updated 4 years ago
- Learn Lean and topology☆26Apr 28, 2023Updated 2 years ago
- Formalizing results about the Mandelbrot set in Lean☆29Dec 31, 2025Updated 2 months ago
- Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4☆29Jun 27, 2024Updated last year
- Generate HTML documentation for mathlib and Lean☆22Sep 28, 2024Updated last year
- Formal verification of parts of the Stacks Project in Lean☆22Sep 24, 2021Updated 4 years ago
- A formalization of the Rubik's cube group☆28Oct 1, 2020Updated 5 years ago
- Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)☆31Feb 12, 2026Updated 3 weeks ago
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆28Dec 24, 2021Updated 4 years ago
- WIP collections library for Lean 4☆32May 8, 2025Updated 10 months ago
- Lean for the Curious Mathematician 2020☆68Oct 24, 2023Updated 2 years ago
- This is a full collection of all the main functions taught in EE2211. It can greatly speed up your speed when doing mid-term or final exa…☆19Sep 3, 2025Updated 6 months ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆31Jan 17, 2022Updated 4 years ago
- ☆38Mar 12, 2024Updated last year
- Development tools for https://github.com/leanprover-community/mathlib☆33Aug 29, 2023Updated 2 years ago
- Lean type-checker written in Scala.☆41Mar 13, 2022Updated 3 years ago
- PowerShell によって Windows10 のキッティングに必要な全工程を自動的に完了。☆12Jun 10, 2025Updated 9 months ago
- A semidefinite programming solver for clustered low-rank SDPs☆14Updated this week
- A Lean file formatter☆70Feb 3, 2023Updated 3 years ago
- A best-first-search theorem prover implemented in Isabelle☆36Jul 18, 2022Updated 3 years ago
- Lean4中文教程☆35Feb 2, 2025Updated last year
- Python talking to the Lean theorem prover☆46Aug 25, 2021Updated 4 years ago
- The Complex Number Game. Make the complex numbers in Lean.☆42Nov 12, 2022Updated 3 years ago
- ☆13Jul 8, 2024Updated last year