• .gitignore -rw-r--r-- 31 bytes
• LICENSE -rw-r--r-- 34670 bytes
• Main.lean -rw-r--r-- 46379 bytes
• README.md -rw-r--r-- 1458 bytes
• flake.lock -rw-r--r-- 2023 bytes
• flake.nix -rw-r--r-- 1810 bytes
• lake-manifest.json -rw-r--r-- 766 bytes
• lakefile.toml -rw-r--r-- 202 bytes
• lean-toolchain -rw-r--r-- 25 bytes
• notes -rw-r--r-- 2578 bytes
• raylean.patch -rw-r--r-- 4550 bytes
• soundtrack -rw-r--r-- 597 bytes
• street-names.txt -rw-r--r-- 9964 bytes