.vscode
__pycache__
*.egg-info/
.eggs/
dist/
build/
provers/bin/*
!provers/bin/Makefile
