FormalMathematicsLab/UniBonn_Course_Lean4_2023-2024
Repository hosting resources for the 2023/2024 course in Lean at the University of Bonn taught by Floris Van Doorn (@fpvandoorn).
LeanApache-2.0
Stargazers
No one’s star this repository yet.
Repository hosting resources for the 2023/2024 course in Lean at the University of Bonn taught by Floris Van Doorn (@fpvandoorn).
LeanApache-2.0
No one’s star this repository yet.