• .gitignore -rw-r--r-- 7 bytes
• Aristotle.lean -rw-r--r-- 5240 bytes
• Beginner.lean -rw-r--r-- 510 bytes
• Conventional.lean -rw-r--r-- 574 bytes
• Enlightened.lean -rw-r--r-- 342 bytes
• Evil.lean -rw-r--r-- 832 bytes
• Experienced.lean -rw-r--r-- 538 bytes
• Golf.lean -rw-r--r-- 416 bytes
• Imperative.lean -rw-r--r-- 2103 bytes
• Insane.lean -rw-r--r-- 1323 bytes
• Intermediate.lean -rw-r--r-- 835 bytes
• LICENSE -rw-r--r-- 20139 bytes
• Lazy.lean -rw-r--r-- 6518 bytes
• Manual.lean -rw-r--r-- 2113 bytes
• Mathematician.lean -rw-r--r-- 2187 bytes
• Mathlib.lean -rw-r--r-- 265 bytes
• Strata.lean -rw-r--r-- 1115 bytes
• Velvet.lean -rw-r--r-- 1311 bytes
• lake-manifest.json -rw-r--r-- 3735 bytes
• lakefile.toml -rw-r--r-- 374 bytes
• lean-toolchain -rw-r--r-- 29 bytes