/target/
/lean/.lake/
*.swp
.DS_Store
