Skip to content

feat: Decidable as subtype of Bool - #8309

Open
Rob23oba wants to merge 29 commits into
leanprover:masterfrom
Rob23oba:decidable-as-bool
Open

feat: Decidable as subtype of Bool#8309
Rob23oba wants to merge 29 commits into
leanprover:masterfrom
Rob23oba:decidable-as-bool

small improvements

ee665cf
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-awaiting-mathlib
succeeded Jul 27, 2026 in 5s