GitHub - madvorak/lean4-course: Stand-alone pre-semester Lean 4 course at ISTA

madvorak / lean4-course Public

Stand-alone pre-semester Lean 4 course at ISTA

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 15 Commits
course		course
.gitignore		.gitignore
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lakefile.olean		lakefile.olean
lean-toolchain		lean-toolchain

About

Stand-alone pre-semester Lean 4 course at ISTA