# Python
__pycache__/
*.py[cod]
*$py.class
*.so
.Python
venv/
ENV/
.venv/

# IDE
.idea/
.vscode/
*.swp
*.swo

# Docker
.docker/

# KeYmaera X
*.kyp
workdir/
proofs/

# OS
.DS_Store
Thumbs.db
