leanprover / theorem_proving_in_lean4Links
Theorem Proving in Lean 4
☆195Updated last week
Alternatives and similar repositories for theorem_proving_in_lean4
Users that are interested in theorem_proving_in_lean4 are comparing it to the libraries listed below
Sorting:
- Source code for the Mathematics in Lean tutorial.☆160Updated 3 weeks ago
- Visual Studio Code extension for the Lean 4 proof assistant☆220Updated 2 weeks ago
- The "batteries included" extended library for the Lean programming language and theorem prover☆312Updated this week
- White-box automation for Lean 4☆278Updated last week
- An introduction to theorem proving in Lean for the impatient.☆218Updated last month
- ☆256Updated 4 months ago
- Lean documentation authoring tool☆189Updated this week
- Server to host lean games.☆286Updated last week
- 💧 Liquid Tensor Experiment☆203Updated last year
- plasTeX plugin to build formalization blueprints.☆225Updated 2 weeks ago
- Helper toolkit for creating your own Lean 4 UserWidgets☆146Updated last week
- Experiments on automation for Lean☆120Updated this week
- ☆84Updated last month
- Natural Number Game☆189Updated 3 months ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆177Updated last week
- The Lean reference manual☆72Updated this week
- Logic and Mechanized Reasoning☆105Updated 5 months ago
- Natural language tactics to teach mathematics using Lean 4☆80Updated 2 months ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated last year
- Formalization of Mathematical Logic☆137Updated this week
- A Lean file formatter☆68Updated 2 years ago
- Document Generator for Lean 4☆99Updated last week
- Formalizing "Proofs from THE BOOK"☆63Updated 7 months ago
- Tools based on AI for helping with Lean 4☆91Updated this week
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆219Updated 3 months ago
- Lean 4 kernel / 'external checker' written in Lean 4☆108Updated 2 weeks ago
- The Lean version manager☆401Updated last month
- Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…☆115Updated 3 months ago
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆66Updated last week
- Scientific computing in Lean 4☆415Updated last month