• .docker/ drwxrwxrwx 33 bytes
• .gitignore -rw-r--r-- 49 bytes
• .gitpod.yml -rw-r--r-- 124 bytes
• .vscode/ drwxrwxrwx 41 bytes
• MIL -rw-r--r-- 6 bytes
• MIL.lean -rw-r--r-- 1756 bytes
• README.md -rw-r--r-- 3972 bytes
• html -rw-r--r-- 14 bytes
• lake-manifest.json -rw-r--r-- 21 bytes
• lakefile.lean -rw-r--r-- 16 bytes
• lean-toolchain -rw-r--r-- 17 bytes
• mathematics_in_lean.pdf -rw-r--r-- 38 bytes