/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).

Primary LanguageLeanApache License 2.0Apache-2.0

Stargazers

No one’s star this repository yet.