*.ipynb*
__pycache__
*.swp
quiver/Test.sage
_build
*quiver.egg-info*
theory/*.dbx
theory/*.aux
theory/*.bcf
theory/*.log
theory/*.out
theory/*.pdf
theory/*.run.xml
.DS_Store
quiver/output
docs/*
*.swo
.vimrc
