• .gitignore -rw-r--r-- 31 bytes
• Advanced.lean -rw-r--r-- 2220 bytes
• Basic.lean -rw-r--r-- 3915 bytes
• BasicFilled.lean -rw-r--r-- 10428 bytes
• Cluedump.lean -rw-r--r-- 5680 bytes
• GenerateSlides.lean -rw-r--r-- 134 bytes
• IMG_20260116_145034_893.avif -rw-r--r-- 94916 bytes
• IMG_20260116_145039_277.avif -rw-r--r-- 92207 bytes
• IMG_20260116_145042_363.avif -rw-r--r-- 73361 bytes
• LICENSE -rw-r--r-- 20139 bytes
• Main.lean -rw-r--r-- 167 bytes
• MoreBasic.lean -rw-r--r-- 6550 bytes
• Pset1.5.lean -rw-r--r-- 3352 bytes
• Pset1.lean -rw-r--r-- 987 bytes
• Pset2.lean -rw-r--r-- 4905 bytes
• Pset3.lean -rw-r--r-- 3069 bytes
• image.ppm -rw-r--r-- 12301 bytes
• index.html -rw-r--r-- 4405 bytes
• lake-manifest.json -rw-r--r-- 3469 bytes
• lakefile.toml -rw-r--r-- 519 bytes
• lean-toolchain -rw-r--r-- 29 bytes
• main.rnote -rw-r--r-- 634600 bytes
• slides.pdf -rw-r--r-- 784533 bytes
• static/ drwxrwxrwx 281 bytes