- .gitignore -rw-r--r-- 31 bytes
- LICENSE -rw-r--r-- 34670 bytes
- Main.lean -rw-r--r-- 58999 bytes
- README.md -rw-r--r-- 3781 bytes
- build.sh -rwxr-xr-x 541 bytes
- flake.lock -rw-r--r-- 2021 bytes
- flake.nix -rw-r--r-- 1799 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
- peeps.jpg -rw-r--r-- 185187 bytes
- raylean.patch -rw-r--r-- 668 bytes
- screenshot.png -rw-r--r-- 375109 bytes
- soundtrack -rw-r--r-- 479 bytes
- street-names.txt -rw-r--r-- 9964 bytes
