feat(by_contra,contrapose): warn if the push_neg step does nothing#37907
Open
grunweg wants to merge 16 commits intoleanprover-community:masterfrom
Open
feat(by_contra,contrapose): warn if the push_neg step does nothing#37907grunweg wants to merge 16 commits intoleanprover-community:masterfrom
grunweg wants to merge 16 commits intoleanprover-community:masterfrom
Commits
Commits on Apr 10, 2026
Commits on Apr 11, 2026
Commits on Apr 14, 2026
Commits on Apr 15, 2026
- committed
- committed
- committed