• .gitignore -rw-r--r-- 64 bytes
• GenerateSlides.lean -rw-r--r-- 2338 bytes
• GenerateSlidesLib.lean -rw-r--r-- 2525 bytes
• LeanTeX.lean -rw-r--r-- 75 bytes
• LeanTeX/ drwxrwxrwx 361 bytes
• README.md -rw-r--r-- 2692 bytes
• demo.jpg -rw-r--r-- 82011 bytes
• example/ drwxrwxrwx 283 bytes
• lake-manifest.json -rw-r--r-- 113 bytes
• lakefile.toml -rw-r--r-- 127 bytes
• lean-toolchain -rw-r--r-- 29 bytes
• todo.org -rw-r--r-- 342 bytes