Lean 3's obsolete mathematical components library: please use mathlib4
-
Updated
Jun 28, 2024 - Lean
#
formal-mathematics
Here are 12 public repositories matching this topic...
The matrix cookbook, proved in the Lean theorem prover
-
Updated
Nov 23, 2024 - Lean
rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/
-
Updated
Apr 16, 2024 - Lean
Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.
tutorial research logic mathematics proof-assistant lean formal-methods formal-mathematics interactive-theorem-proving tu-wien formal-proofs formalisation leanprover lean4 formalized-mathematics formalisation-mathematics
-
Updated
Jan 14, 2025 - Lean
A formalization of graded rings in Lean, corresponding to a CICM 2022 submission
-
Updated
Sep 21, 2022 - Lean
Library for formalizing cryptography proofs in Lean 3 (Deprecated)
-
Updated
Apr 8, 2024 - Lean
matroids in lean
-
Updated
Dec 21, 2020 - Lean
Repository hosting the resources for the Lean demo session of my talk presented at the weekly research seminar on CHallenges in ANalysis and GEometry (CHANGE) at the University of Trento on February 11, 2025.
analysis geometry proof-assistant talk differential-geometry seminar formal-mathematics interactive-theorem-proving lean4 geometric-analysis lean-project lean-blueprint formalised-mathematics
-
Updated
Feb 11, 2025 - Lean
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
algebra lean formal-methods number-theory formal-mathematics formal-proofs fermat-last-theorem lean4
-
Updated
Sep 28, 2024 - Lean
LLMs + Lean, on your laptop or in the cloud
-
Updated
Apr 18, 2024 - Lean
Repository hosting resources for the 2024 workshop "Computer-Verified Proofs: 48 Hours in Rome" organised by @oliver-butterley, @RafaelGreenblatt and @marcolenci.
mathematics formal-methods formalization formal-verification formal-mathematics lean4 formalisation-mathematics
-
Updated
Jan 26, 2024 - Lean
Repository hosting resources for the 2024 course in Formal Mathematics at @ImperialCollegeLondon taught by Kevin Buzzard (@kbuzzard).
-
Updated
Aug 22, 2024 - Lean
Improve this page
Add a description, image, and links to the formal-mathematics topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the formal-mathematics topic, visit your repo's landing page and select "manage topics."