formalisation-mathematics
There are 6 repositories under formalisation-mathematics topic.
pitmonticone/LeanProject
Template for blueprint-driven formalization projects in Lean.
glams-lean-2024/formal-2024
Course repository for GlaMS - Formalising Mathematics in Lean (2024)
pitmonticone/LeanInVienna2024
Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.
jjaassoonn/GAGA
(Attempt of) Formalising the GAGA theorem
themathqueen/monlib
Formalising non-commutative graph theory in Lean
FormalMathematicsLab/UniRome_Workshop_Lean_2024
Repository hosting resources for the 2024 workshop "Computer-Verified Proofs: 48 Hours in Rome" organised by @oliver-butterley, @RafaelGreenblatt and @marcolenci.