mirek/lean-teaching
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Files for teaching Lean on Charles University
8 commits 1 branch 0 tags 263 KiB
Find a file
Exact
Mirek Olšák 28d457cfa5 finish equality chapter
2026-01-10 22:21:48 +01:00
LeanTeaching finish equality chapter 2026-01-10 22:21:48 +01:00
lake-manifest.json first commit 2025-10-31 14:09:30 +01:00
lakefile.toml first commit 2025-10-31 14:09:30 +01:00
lean-toolchain first commit 2025-10-31 14:09:30 +01:00