• .docker/ drwxrwxrwx 33 bytes
• .gitignore -rw-r--r-- 40 bytes
• .gitpod.yml -rw-r--r-- 124 bytes
• README.md -rw-r--r-- 3785 bytes
• html/ drwxrwxrwx 844 bytes
• lake-manifest.json -rw-r--r-- 808 bytes
• lakefile.lean -rw-r--r-- 253 bytes
• lean-toolchain -rw-r--r-- 36 bytes
• mathematics_in_lean.pdf -rw-r--r-- 871143 bytes
• src/ drwxrwxrwx 383 bytes