|
static
|
Mostly done with slides, add room number finally
|
2026-01-07 13:58:41 -06:00 |
|
.envrc
|
feat: solve some stuff
|
2026-02-06 00:12:48 +08:00 |
|
.gitignore
|
feat: solve some stuff
|
2026-02-06 00:12:48 +08:00 |
|
Advanced.lean
|
More examples for lectures
|
2026-01-10 14:39:10 -06:00 |
|
Basic.lean
|
more
|
2026-02-06 00:13:20 +08:00 |
|
BasicFilled.lean
|
Finished lec 2
|
2026-01-20 20:00:44 -05:00 |
|
Cluedump.lean
|
Actually move the video player thing down even more
|
2026-01-16 17:21:01 -05:00 |
|
flake.lock
|
feat: solve some stuff
|
2026-02-06 00:12:48 +08:00 |
|
flake.nix
|
feat: solve some stuff
|
2026-02-06 00:12:48 +08:00 |
|
GenerateSlides.lean
|
Switch to LeanTeX instead of Typst
|
2026-01-07 12:16:23 -06:00 |
|
image.ppm
|
Add ppm test case
|
2026-01-05 13:08:44 -06:00 |
|
IMG_20260116_145034_893.avif
|
Finished type theory notes finally
|
2026-01-16 14:53:09 -05:00 |
|
IMG_20260116_145039_277.avif
|
Finished type theory notes finally
|
2026-01-16 14:53:09 -05:00 |
|
IMG_20260116_145042_363.avif
|
Finished type theory notes finally
|
2026-01-16 14:53:09 -05:00 |
|
index.html
|
OK sure we can do mvcgen today probably
|
2026-01-23 13:19:03 -05:00 |
|
lake-manifest.json
|
Mostly done with slides, add room number finally
|
2026-01-07 13:58:41 -06:00 |
|
lakefile.toml
|
More random stuff
|
2026-01-17 14:35:13 -05:00 |
|
lean-toolchain
|
Initial commit
|
2026-01-01 22:45:09 -06:00 |
|
LICENSE
|
Add CC BY-SA license
|
2026-01-18 13:47:11 -05:00 |
|
Main.lean
|
More random stuff
|
2026-01-17 14:35:13 -05:00 |
|
main.rnote
|
Finished type theory notes finally
|
2026-01-16 14:53:09 -05:00 |
|
MoreBasic.lean
|
Minor random tweaks
|
2026-01-23 15:04:00 -05:00 |
|
Pset1.5.lean
|
feat: solve a bunch of stuff
|
2026-02-06 00:13:23 +08:00 |
|
Pset1.lean
|
Finish first two psets
|
2026-01-04 21:51:06 -06:00 |
|
Pset2.lean
|
feat: solve a bunch of stuff
|
2026-02-06 00:13:23 +08:00 |
|
Pset3.lean
|
feat: solve a bunch of stuff
|
2026-02-06 00:13:23 +08:00 |
|
slides.pdf
|
Actually move the video player thing down even more
|
2026-01-16 17:21:01 -05:00 |
