# Python
__pycache__/
*.pyc
*.egg-info/
.venv/
venv/

# Jupyter
.ipynb_checkpoints/
local/

# Data
data/

# Results (large tensors)
results*/
figures/
logs/

# Lean
lean/.lake/
lean/lake-packages/

# OS / editors
.DS_Store
.vscode/
.idea/
