.DS_Store
*.pyc
*.swp
*.swo
.tox
*.egg-info
docs/_build
dist
.coverage
build
.proof
.ipynb_checkpoints
.idea
