__pycache__/

dist/
.venv/
.benchmarks/
.pytest_cache/
htmlcov/
.ruff_cache/

.test_env/
tests/profile*.png

docs/build/

examples/LeanProject/
examples/AnalyseMathlib/
examples/experiments/

.coverage

TODO.md

copilot-instructions.md
not_relevant/