Formal Mathematics Lab
Pinned
Repositories
Showing 10 of 31 repositories
- UniBonn_Course_Lean4_2023-2024 Public Forked from fpvandoorn/LeanCourse23
Repository hosting resources for the 2023/2024 course in Lean at the University of Bonn taught by Floris Van Doorn (@fpvandoorn).
-
-
-
-
-
- theorem_proving_in_lean4 Public Forked from leanprover/theorem_proving_in_lean4
Theorem Proving in Lean 4
- LFTCM2024 Public Forked from riccardobrasca/LFTCM2024
Repository hosting resources for the 2024 workshop "Lean for the Curious Mathematician".