• .gitignore -rw-r--r-- 7 bytes
• Leantest.lean -rw-r--r-- 151 bytes
• Main.lean -rw-r--r-- 1827 bytes
• README.md -rw-r--r-- 10 bytes
• Shorter.lean -rw-r--r-- 24103 bytes
• gcd.lean -rw-r--r-- 240 bytes
• lake-manifest.json -rw-r--r-- 3115 bytes
• lakefile.toml -rw-r--r-- 204 bytes
• lazy.lean -rw-r--r-- 9730 bytes
• lean-toolchain -rw-r--r-- 29 bytes