# Python
.venv
**/__pycache__

# Coq
*.cache
*.vo
*.vok
*.vos
*.glob
*.aux

# Misc
.DS_Store

# Env
.env

# Logs
logs/
old-logs/
logs-2/
.vscode/settings.json
