danabra.mov / analysis-solutions
My solutions to Tao's Analysis I, formalized in Lean
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

analysis-solutions / .gitignore
at solutions 13 lines 131 B view raw
Pim Otte Main migration
d724bfb8
1# Lean 4 2# Compiled files and directories 3.lake/ 4build/ 5_site/ 6 7# IDE files 8.vscode/ 9 10# Editor specific files 11.DS_Store 12*.swp 13*.swo