.gitignore at solutions · danabra.mov/analysis-solutions

My solutions to Tao's Analysis I, formalized in Lean

analysis-solutions / .gitignore

at solutions 131 B view raw

 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