.DS_Store
.AppleDouble
node_modules/*
*.swp
.proof.out