• .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
• ac.lean -rw-r--r-- 1018 bytes
• gcd.lean -rw-r--r-- 240 bytes
• lake-manifest.json -rw-r--r-- 3115 bytes
• lakefile.toml -rw-r--r-- 204 bytes
• lambcalc.lean -rw-r--r-- 593 bytes
• lazy.lean -rw-r--r-- 10518 bytes
• lean-toolchain -rw-r--r-- 28 bytes
• monad.lean -rw-r--r-- 1292 bytes
• native-decide.lean -rw-r--r-- 296 bytes
• palin.lean -rw-r--r-- 286 bytes
• sum.lean -rw-r--r-- 10267 bytes
• typedlambcalc.lean -rw-r--r-- 205 bytes