**/.DS_Store
**/__pycache__/
dist
proofOutput.txt
.venv
.claude
.vscode
.worktrees
extras
*~

# Emacs
emacs/*.elc

# VSCode extension
vscode-extension/node_modules/
vscode-extension/out/
vscode-extension/*.vsix
