| # macOS | |
| .DS_Store | |
| # Python | |
| __pycache__/ | |
| *.py[cod] | |
| *.egg-info/ | |
| *.egg | |
| *.pyo | |
| # Environments | |
| .venv/ | |
| venv/ | |
| env/ | |
| # Editor/IDE | |
| .vscode/ | |
| .idea/ | |
| # Local artifacts | |
| ProofCheck/.gradio/ | |
| *.log | |
| # OS/Temp | |
| Thumbs.db | |
| *.tmp | |
| # Local helper scripts and duplicates | |
| setup_hf.py | |
| pdf_comparator 2.py | |