.lake/
.toolchains/
.mathlib-cache/
verification_runs/
oloa144_lean_formalization.zip
__pycache__/
*.olean
*.ilean
*.c
*.o
