pitmonticone / LeanProject Sponsor Star 34 Code Issues Pull requests Discussions Template for blueprint-driven formalization projects in Lean. theorem-proving mathematics proof-assistant formal-mathematics mathematical-programming lean-theorem-prover lean4 formalisation-mathematics lean-blueprint formalised-mathematics leanblueprint Updated Jan 5, 2025 Python
pitmonticone / LeanInVienna2024 Sponsor Star 9 Code Issues Pull requests Discussions 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 Oct 2, 2024 Lean
glams-lean-2024 / formal-2024 Star 9 Code Issues Pull requests Discussions Course repository for GlaMS - Formalising Mathematics in Lean (2024) lean4 formalisation-mathematics Updated May 13, 2024 Lean
jjaassoonn / GAGA Star 2 Code Issues Pull requests (Attempt of) Formalising the GAGA theorem algebraic-geometry formalisation-mathematics Updated Apr 19, 2024 TeX
themathqueen / monlib Star 1 Code Issues Pull requests Formalising non-commutative graph theory in Lean lean mathlib formalisation-mathematics Updated Mar 20, 2024 Lean
FormalMathematicsLab / UniRome_Workshop_Lean_2024 Star 0 Code Issues Pull requests 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