• .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-- 829 bytes
• Experienced.lean -rw-r--r-- 538 bytes
• Golf.lean -rw-r--r-- 416 bytes
• Imperative.lean -rw-r--r-- 2124 bytes
• Insane.lean -rw-r--r-- 1323 bytes
• Intermediate.lean -rw-r--r-- 835 bytes
• Lazy.lean -rw-r--r-- 6518 bytes
• Manual.lean -rw-r--r-- 2123 bytes
• Mathematician.lean -rw-r--r-- 2187 bytes
• Mathlib.lean -rw-r--r-- 265 bytes
• lake-manifest.json -rw-r--r-- 3438 bytes
• lakefile.toml -rw-r--r-- 324 bytes
• lean-toolchain -rw-r--r-- 29 bytes