Topic: "formalisation-mathematics"
pitmonticone/LeanProject
Template for blueprint-driven formalization projects in Lean.
Language: Python - Size: 123 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 53 - Forks: 7
pitmonticone/LeanInVienna2024
Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.
Language: Lean - Size: 1.58 MB - Last synced at: 1 day ago - Pushed at: 5 months ago - Stars: 9 - Forks: 2
jjaassoonn/GAGA
(Attempt of) Formalising the GAGA theorem
Language: TeX - Size: 78.1 KB - Last synced at: 4 days ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 0
glams-lean-2024/formal-2024
Course repository for GlaMS - Formalising Mathematics in Lean (2024)
Language: Lean - Size: 1.64 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 5
themathqueen/monlib
Formalising non-commutative graph theory in Lean
Language: Lean - Size: 90.5 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
FormalMathematicsLab/UniRome_Workshop_Lean_2024 Fork of fpvandoorn/LeanInRome
Repository hosting resources for the 2024 workshop "Computer-Verified Proofs: 48 Hours in Rome" organised by @oliver-butterley, @RafaelGreenblatt and @marcolenci.
Size: 2.6 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
