build/
__pycache__/
*.aux
*.out
/proof.log
/tmp/
output/zenodo/
output/*.zip
output/pdf/
