Skip to content

chore: prefer contrapose over contrapose!, when possible - #43999

Open
grunweg wants to merge 2 commits into
leanprover-community:masterfrom
grunweg:superfluous-pushneg
Open

grunweg wants to merge 2 commits into
leanprover-community:masterfrom
grunweg:superfluous-pushneg

Three more

dc74f66
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Lint and suggest
succeeded Sep 20, 2026 in 2m 24s