• .gitignore -rw-r--r-- 7 bytes
• BinOp.lean -rw-r--r-- 1205 bytes
• Binom.lean -rw-r--r-- 957 bytes
• Choice.lean -rw-r--r-- 1018 bytes
• Dao.lean -rw-r--r-- 1416 bytes
• Gcd.lean -rw-r--r-- 437 bytes
• LambCalc.lean -rw-r--r-- 593 bytes
• Lazy.lean -rw-r--r-- 10518 bytes
• Main.lean -rw-r--r-- 1826 bytes
• Monad.lean -rw-r--r-- 1292 bytes
• NativeDecide.lean -rw-r--r-- 345 bytes
• Palin.lean -rw-r--r-- 286 bytes
• Shorter.lean -rw-r--r-- 24103 bytes
• Sum.lean -rw-r--r-- 7661 bytes
• TypedLambCalc.lean -rw-r--r-- 205 bytes
• lake-manifest.json -rw-r--r-- 3115 bytes
• lakefile.toml -rw-r--r-- 212 bytes
• lean-toolchain -rw-r--r-- 28 bytes