feat: irevert tactic#74
Open
oliversoeser wants to merge 8 commits intoleanprover-community:masterfrom
Open
Commits
Commits on Jul 4, 2025
- committed
Commits on Jul 5, 2025
- committed
Commits on Jul 7, 2025
- committed
Commits on Jul 31, 2025
- committed
- committed
- committed
Commits on Aug 1, 2025
Commits on Aug 25, 2025
- committed