Skip to content

[Merged by Bors] - chore: remove some redundant classical#41497

Closed
felixpernegger wants to merge 3 commits into
leanprover-community:masterfrom
felixpernegger:classicalcleaup
Closed

[Merged by Bors] - chore: remove some redundant classical#41497
felixpernegger wants to merge 3 commits into
leanprover-community:masterfrom
felixpernegger:classicalcleaup

move to proof

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

Annotations

1 warning
main
succeeded Jul 8, 2026 in 20s