# cache and other artifacts produced by Lean's Lake build tool
.lake/
.DS_Store
*.olean
*.ilean
*.c
*.trace
*.pdf
EOF
