/target
/build
/lakefile.olean
/lake-packages/*
.lake
*.llbc
/output
*.thy~