pitmonticone / LeanProject Sponsor Star 6 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 Aug 6, 2024 Python
jjaassoonn / GAGA Star 2 Code Issues Pull requests (Attempt of) Formalising the GAGA theorem algebraic-geometry formalisation-mathematics Updated Apr 19, 2024 TeX
glams-lean-2024 / formal-2024 Star 2 Code Issues Pull requests Discussions Course repository for GlaMS - Formalising Mathematics in Lean (2024) lean4 formalisation-mathematics Updated May 13, 2024 Lean
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