mirek/lean-teaching
1
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Files for teaching Lean on Charles University
56 commits 1 branch 0 tags 599 KiB
  • Lean 100%
Find a file
Exact
Mirek Olšák 5c94d6bb7a live lecture 11
2026-04-28 13:05:42 +02:00
Exercises make parametrized State optional 2026-04-28 02:45:42 +02:00
LeanTeaching typo 2026-04-09 09:44:20 +02:00
Live live lecture 11 2026-04-28 13:05:42 +02:00
lake-manifest.json add module 2026-02-16 18:39:42 +01:00
lakefile.toml live lecture 11 2026-04-28 13:05:42 +02:00
lean-toolchain add module 2026-02-16 18:39:42 +01:00