• .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-- 534 bytes
• Golf.lean -rw-r--r-- 476 bytes
• Imperative.lean -rw-r--r-- 2182 bytes
• Intermediate.lean -rw-r--r-- 835 bytes
• Lazy.lean -rw-r--r-- 23 bytes
• Long.lean -rw-r--r-- 2139 bytes
• Mathematician.lean -rw-r--r-- 579 bytes
• README.md -rw-r--r-- 486 bytes
• lake-manifest.json -rw-r--r-- 3438 bytes
• lakefile.toml -rw-r--r-- 416 bytes
• lean-toolchain -rw-r--r-- 29 bytes