• .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-- 1870 bytes
• MIL/ drwxrwxrwx 541 bytes
• README.md -rw-r--r-- 3799 bytes
• html/ drwxrwxrwx 908 bytes
• lake-manifest.json -rw-r--r-- 1853 bytes
• lakefile.lean -rw-r--r-- 325 bytes
• lean-toolchain -rw-r--r-- 28 bytes
• mathematics_in_lean.pdf -rw-r--r-- 976615 bytes