• .gitignore -rw-r--r-- 7 bytes
• Aristotle.lean -rw-r--r-- 2544 bytes
• Beginner.lean -rw-r--r-- 494 bytes
• Conventional.lean -rw-r--r-- 574 bytes
• Evil.lean -rw-r--r-- 829 bytes
• Experienced.lean -rw-r--r-- 538 bytes
• Golf.lean -rw-r--r-- 470 bytes
• Imperative.lean -rw-r--r-- 2174 bytes
• Insane.lean -rw-r--r-- 1323 bytes
• Intermediate.lean -rw-r--r-- 835 bytes
• Lazy.lean -rw-r--r-- 6518 bytes
• Long.lean -rw-r--r-- 2139 bytes
• Mathematician.lean -rw-r--r-- 2187 bytes
• Mathlib.lean -rw-r--r-- 265 bytes
• README.md -rw-r--r-- 486 bytes
• lake-manifest.json -rw-r--r-- 3438 bytes
• lakefile.toml -rw-r--r-- 324 bytes
• lean-toolchain -rw-r--r-- 29 bytes