__pycache__/
*.py[cod]
*.egg-info/
build/
dist/
.pytest_cache/
.venv/
scratch/

# generated by web/build.py
web/refproof.zip
web/demo.bib
