fix(pitfalls.md): remove repeated word#760
Merged
grunweg merged 5 commits intoleanprover-community:lean4from Dec 8, 2025
Merged
fix(pitfalls.md): remove repeated word#760grunweg merged 5 commits intoleanprover-community:lean4from
grunweg merged 5 commits intoleanprover-community:lean4from
Commits
Commits on Dec 8, 2025
- authored
- authored
- authored
- authored
- authored
