• .gitignore -rw-r--r-- 7 bytes
• Main.lean -rw-r--r-- 6285 bytes
• README.md -rw-r--r-- 433 bytes
• lake-manifest.json -rw-r--r-- 124 bytes
• lakefile.toml -rw-r--r-- 42 bytes
• lean-toolchain -rw-r--r-- 25 bytes
• lurkdir.patch -rw-r--r-- 484 bytes
• main.lurk -rw-r--r-- 4722 bytes