mirek/lean-teaching
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Files for teaching Lean on Charles University
6 commits 1 branch 0 tags 199 KiB
Find a file
Exact
Mirek Olšák ae642c7478 adjustments
2025-11-04 19:28:05 +01:00
LeanTeaching adjustments 2025-11-04 19:28:05 +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