Skip to content

feat: add a Decidable instance for bif (cond) - #15018

Merged
TwoFX merged 1 commit into
leanprover:masterfrom
marcusrossel:master
Sep 4, 2026
Merged

feat: add a Decidable instance for bif (cond)#15018
TwoFX merged 1 commit into
leanprover:masterfrom
marcusrossel:master

feat: add a `Decidable` instance for `bif` (`cond`)

522b368
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-stdlib-flags
succeeded Sep 4, 2026 in 4s