.git
.jacobian
.venv
benchmarks/results
build
dist
lean/.lake
__pycache__
