• .devcontainer/ drwxrwxrwx 83 bytes
• .docker/ drwxrwxrwx 33 bytes
• .github/ drwxrwxrwx 52 bytes
• .gitignore -rw-r--r-- 55 bytes
• .gitpod.yml -rw-r--r-- 124 bytes
• .vscode/ drwxrwxrwx 84 bytes
• LICENSE -rw-r--r-- 11357 bytes
• MIL.lean -rw-r--r-- 2290 bytes
• MIL/ drwxrwxrwx 637 bytes
• MIL_solutions.lean -rw-r--r-- 3150 bytes
• README.md -rw-r--r-- 5311 bytes
• html/ drwxrwxrwx 1016 bytes
• lake-manifest.json -rw-r--r-- 3130 bytes
• lakefile.toml -rw-r--r-- 288 bytes
• lean-toolchain -rw-r--r-- 29 bytes
• mathematics_in_lean.pdf -rw-r--r-- 1241571 bytes