• .gitignore -rw-r--r-- 7 bytes
• Analysis.lean -rw-r--r-- 3974 bytes
• BadSort.lean -rw-r--r-- 608 bytes
• Benchmark.lean -rw-r--r-- 292 bytes
• BinOp.lean -rw-r--r-- 709 bytes
• Binom.lean -rw-r--r-- 957 bytes
• Change.lean -rw-r--r-- 1092 bytes
• Choice.lean -rw-r--r-- 1018 bytes
• CommitGraph.lean -rw-r--r-- 1756 bytes
• Compose.lean -rw-r--r-- 1355 bytes
• Count.lean -rw-r--r-- 479 bytes
• Dao.lean -rw-r--r-- 3525 bytes
• DocComments.lean -rw-r--r-- 194 bytes
• Ext.lean -rw-r--r-- 401 bytes
• Factorial.lean -rw-r--r-- 1277 bytes
• Floor.lean -rw-r--r-- 2020 bytes
• Format.lean -rw-r--r-- 970 bytes
• Gcd.lean -rw-r--r-- 598 bytes
• Gensym.lean -rw-r--r-- 1151 bytes
• Grind.lean -rw-r--r-- 342 bytes
• Homepage.lean -rw-r--r-- 1769 bytes
• IO.lean -rw-r--r-- 464 bytes
• ImplementedBy.lean -rw-r--r-- 2467 bytes
• Induction.lean -rw-r--r-- 1042 bytes
• Kadane.lean -rw-r--r-- 2627 bytes
• LICENSE -rw-r--r-- 1069 bytes
• LaTeX.lean -rw-r--r-- 1155 bytes
• LambCalc.lean -rw-r--r-- 1290 bytes
• Lazy.lean -rw-r--r-- 10518 bytes
• Main.lean -rw-r--r-- 27 bytes
• MicroKanren.lean -rw-r--r-- 2951 bytes
• Monad.lean -rw-r--r-- 1128 bytes
• NativeDecide.lean -rw-r--r-- 876 bytes
• OpenFamily.lean -rw-r--r-- 738 bytes
• Palin.lean -rw-r--r-- 286 bytes
• Paradox.lean -rw-r--r-- 7443 bytes
• Perf.lean -rw-r--r-- 299 bytes
• Perm.lean -rw-r--r-- 1287 bytes
• Plot.lean -rw-r--r-- 2367 bytes
• Puzzle.lean -rw-r--r-- 494 bytes
• Quine.lean -rw-r--r-- 249 bytes
• QuineAlt.lean -rw-r--r-- 256 bytes
• QuineEval.lean -rw-r--r-- 143 bytes
• QuineLong.lean -rw-r--r-- 379 bytes
• Rec.lean -rw-r--r-- 1626 bytes
• RootTriple.lean -rw-r--r-- 985 bytes
• STLC.lean -rw-r--r-- 3585 bytes
• Set.lean -rw-r--r-- 1103 bytes
• Shorter.lean -rw-r--r-- 24103 bytes
• Sort.lean -rw-r--r-- 2422 bytes
• Splash.lean -rw-r--r-- 1644 bytes
• Sum.lean -rw-r--r-- 5162 bytes
• Surreal.lean -rw-r--r-- 11551 bytes
• Tree.lean -rw-r--r-- 483 bytes
• Uncountable.lean -rw-r--r-- 519 bytes
• WritingSystem.lean -rw-r--r-- 8310 bytes
• keysymdef.h -rw-r--r-- 7707 bytes
• lake-manifest.json -rw-r--r-- 3156 bytes
• lakefile.toml -rw-r--r-- 568 bytes
• lean-toolchain -rw-r--r-- 29 bytes
• mathlib.patch -rw-r--r-- 2641 bytes