Skip to content

chore: prefer classical over open scoped Classical in proofs#41541

Open
felixpernegger wants to merge 1 commit into
leanprover-community:masterfrom
felixpernegger:noopenclassicalinproof
Open

chore: prefer classical over open scoped Classical in proofs#41541
felixpernegger wants to merge 1 commit into
leanprover-community:masterfrom
felixpernegger:noopenclassicalinproof

chore: prefer `classical` over `open scoped Classical` in proofs

1d4cde4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check_title
succeeded Jul 9, 2026 in 1m 19s