• .gitignore -rw-r--r-- 7 bytes
• Main.lean -rw-r--r-- 6122 bytes
• Mutable.lean -rw-r--r-- 8577 bytes
• lake-manifest.json -rw-r--r-- 3158 bytes
• lakefile.toml -rw-r--r-- 253 bytes
• lean-toolchain -rw-r--r-- 28 bytes