mirek/lean-teaching
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Files for teaching Lean on Charles University
30 commits 1 branch 0 tags 467 KiB
  • Lean 100%
Find a file
Exact
Mirek Olšák 8b0096452f Fix exercises
2026-03-17 10:51:02 +01:00
Exercises major tactic zoo update 2026-03-17 08:56:29 +01:00
LeanTeaching Fix exercises 2026-03-17 10:51:02 +01:00
Live Fix exercises 2026-03-17 10:51:02 +01:00
lake-manifest.json add module 2026-02-16 18:39:42 +01:00
lakefile.toml add module 2026-02-16 18:39:42 +01:00
lean-toolchain add module 2026-02-16 18:39:42 +01:00