*.olean
/_target
/leanpkg.path
.vscode
minif2f.lean
.vscode
