/lean4-intro

Lean4 intro classes [lftcm2023] https://lftcm2023.github.io/tutorial/index.html

Primary LanguageLean

Watchers

No one’s watching this repository yet.