/target
proofs/.lake/build/
proofs/.lake/packages/
*.olean
*.ilean
