.venv/
__pycache__/
*.pyc
theoremdb.db*
node_modules/
dist/
.astro/
.wrangler/
.DS_Store
web/public/pyodide/
python/dist/
