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