# Python
__pycache__/
*.py[cod]
*.egg-info/
.eggs/
build/
dist/

# uv / venv
.venv/
uv.lock.bak

# tooling caches
.ruff_cache/
.pytest_cache/
.mypy_cache/
.ty_cache/

# Rocq / Coq build artifacts
*.vo
*.vok
*.vos
*.glob
.nra.cache
.*.aux
.lia.cache

# JAX / experiment artifacts
*.npz
*.pkl
outputs/
wandb/

# datasets (notebooks download to a local cache; never commit data)
data/

# editors / OS
.vscode/
.idea/
.zed/
.DS_Store
.ipynb_checkpoints/
.coq-native/
