Skip to content

feat(by_contra,contrapose): warn if the push_neg step does nothing #288552

feat(by_contra,contrapose): warn if the push_neg step does nothing

feat(by_contra,contrapose): warn if the push_neg step does nothing #288552

Annotations

2 errors and 1 warning

ci (fork)  /  Lint style

succeeded Apr 14, 2026 in 2m 3s