• .gitignore -rw-r--r-- 7 bytes
• Analysis.lean -rw-r--r-- 3974 bytes
• BinOp.lean -rw-r--r-- 1205 bytes
• Binom.lean -rw-r--r-- 957 bytes
• Choice.lean -rw-r--r-- 1018 bytes
• CommitGraph.lean -rw-r--r-- 1741 bytes
• Count.lean -rw-r--r-- 458 bytes
• Dao.lean -rw-r--r-- 1774 bytes
• DocComments.lean -rw-r--r-- 194 bytes
• Gcd.lean -rw-r--r-- 429 bytes
• Grind.lean -rw-r--r-- 342 bytes
• IO.lean -rw-r--r-- 464 bytes
• Induction.lean -rw-r--r-- 1042 bytes
• Kadane.lean -rw-r--r-- 2813 bytes
• LambCalc.lean -rw-r--r-- 1205 bytes
• Lazy.lean -rw-r--r-- 10518 bytes
• Main.lean -rw-r--r-- 1768 bytes
• Monad.lean -rw-r--r-- 1292 bytes
• NativeDecide.lean -rw-r--r-- 345 bytes
• Palin.lean -rw-r--r-- 286 bytes
• Paradox.lean -rw-r--r-- 780 bytes
• Perf.lean -rw-r--r-- 299 bytes
• Plot.lean -rw-r--r-- 2397 bytes
• Puzzle.lean -rw-r--r-- 494 bytes
• Quine.lean -rw-r--r-- 328 bytes
• QuineEval.lean -rw-r--r-- 209 bytes
• QuineLong.lean -rw-r--r-- 443 bytes
• Shorter.lean -rw-r--r-- 24103 bytes
• Sort.lean -rw-r--r-- 824 bytes
• Sum.lean -rw-r--r-- 5243 bytes
• Tree.lean -rw-r--r-- 471 bytes
• TypedLambCalc.lean -rw-r--r-- 205 bytes
• lake-manifest.json -rw-r--r-- 3122 bytes
• lakefile.toml -rw-r--r-- 524 bytes
• lean-toolchain -rw-r--r-- 24 bytes