Formal Mathematics Lab
Pinned Loading
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).
FormalMathematicsLab/UniBonn_Course_Lean4_2023-2024’s past year of commit activity - theorem_proving_in_lean4 Public Forked from leanprover/theorem_proving_in_lean4
Theorem Proving in Lean 4
FormalMathematicsLab/theorem_proving_in_lean4’s past year of commit activity - LFTCM2024 Public Forked from riccardobrasca/LFTCM2024
Repository hosting resources for the 2024 workshop "Lean for the Curious Mathematician".
FormalMathematicsLab/LFTCM2024’s past year of commit activity