Lean 3's obsolete mathematical components library: please use mathlib4
-
Updated
Jun 28, 2024 - Lean
#
theorem-proving
Here are 36 public repositories matching this topic...
A project to digitalise results from physics into Lean.
-
Updated
Dec 13, 2025 - Lean
Bug-free machine learning on stochastic computation graphs
-
Updated
Mar 3, 2019 - Lean
コード例で学ぶ Lean 言語
-
Updated
Dec 13, 2025 - Lean
LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
-
Updated
Nov 25, 2025 - Lean
A Lean tactic for Canonical, a search procedure for terms in dependent type theory.
dependent-types theorem-proving program-synthesis formal-methods theorem-prover automated-reasoning dependent-type-theory lean4
-
Updated
Dec 15, 2025 - Lean
Canonical is a performant sound and complete type inhabitation solver for dependent type theory.
dependent-types theorem-proving program-synthesis formal-methods theorem-prover automated-reasoning lean4
-
Updated
Nov 17, 2025 - Lean
(Mirror) A Machine-to-Machine Interaction System for Lean 4
-
Updated
Dec 12, 2025 - Lean
Extracting the semantics of Noir to Lean for formal verification
-
Updated
Dec 5, 2025 - Lean
Miller–Rabin primality test in Lean
-
Updated
Nov 24, 2025 - Lean
Formalise Eudoxus reals in lean and prove they form a complete Archimedean ordered field.
-
Updated
Feb 14, 2021 - Lean
Library for formalizing cryptography proofs in Lean 3 (Deprecated)
-
Updated
Apr 8, 2024 - Lean
My solutions to the Natural Number Game, by Kevin Buzzard and Mohammad Pedramfar.
-
Updated
Dec 10, 2020 - Lean
matroids in lean
-
Updated
Dec 21, 2020 - Lean
Proofs of Cantor's Theorems in Lean 3, which consequently prove that there are infinitely many infinities.
-
Updated
Aug 21, 2022 - Lean
Step-by-step small or medium-sized projects in Lean
-
Updated
Dec 3, 2025 - Lean
Proof of soundness of the Unit-B refinement calculus
-
Updated
Jan 25, 2018 - Lean
A repository for studying and implementing Lean theorems, focusing on mathematical and philosophical concepts.
topology geometry theorem-proving mathematics lean formal-verification real-analysis euclidean-geometry theorem-provings lean4 philosophical-logic philosophical-mathematics
-
Updated
Jun 2, 2025 - Lean
Exercises from Theorem Proving In Lean
-
Updated
Oct 21, 2018 - Lean
Improve this page
Add a description, image, and links to the theorem-proving topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the theorem-proving topic, visit your repo's landing page and select "manage topics."