# Defaults
/target
**/*.rs.bk
Cargo.lock

# VS Code
*.code-workspace

# Coq
*.vo
*.glob
*.v.d
*.aux
Makefile
Makefile.conf
\#*\#
.\#*
/.vscode