formalisation-mathematics

There are 5 repositories under formalisation-mathematics topic.

pitmonticone/LeanProject
Template for blueprint-driven formalization projects in Lean.
Language:Python10 2 0
glams-lean-2024/formal-2024
Course repository for GlaMS - Formalising Mathematics in Lean (2024)
Language:Lean2 1 116
jjaassoonn/GAGA
(Attempt of) Formalising the GAGA theorem
Language:TeX2 1 00
themathqueen/monlib
Formalising non-commutative graph theory in Lean
Language:Lean1 1 6
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.
Language:Lean0 0 00