• .docker/ drwxrwxrwx 33 bytes
• .gitignore -rw-r--r-- 49 bytes
• .gitpod.yml -rw-r--r-- 124 bytes
• .vscode/ drwxrwxrwx 41 bytes
• MIL.lean -rw-r--r-- 1767 bytes
• MIL/ drwxrwxrwx 455 bytes
• README.md -rw-r--r-- 3785 bytes
• html/ drwxrwxrwx 855 bytes
• lake-manifest.json -rw-r--r-- 1431 bytes
• lakefile.lean -rw-r--r-- 570 bytes
• lean-toolchain -rw-r--r-- 36 bytes
• mathematics_in_lean.pdf -rw-r--r-- 882270 bytes