mirek/lean-teaching
1
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Files for teaching Lean on Charles University
63 commits 1 branch 0 tags 250 KiB
  • Lean 100%
Find a file
Exact
Mirek Olšák 6c4434ecf5 add live lectures
2026-05-20 00:15:35 +02:00
Exercises add program reasoning 2026-05-12 01:55:17 +02:00
LeanTeaching update program reasoning 2026-05-12 08:50:43 +02:00
Live add live lectures 2026-05-20 00:15:35 +02:00
lake-manifest.json add program reasoning 2026-05-12 01:55:17 +02:00
lakefile.toml live lecture 11 2026-04-28 13:05:42 +02:00
lean-toolchain add program reasoning 2026-05-12 01:55:17 +02:00