Skip to content

feat: add support for match in iprop(...)#525

Merged
MackieLoeffel merged 3 commits into
leanprover-community:masterfrom
alexkeizer:iprop-match
Jul 22, 2026
Merged

feat: add support for match in iprop(...)#525
MackieLoeffel merged 3 commits into
leanprover-community:masterfrom
alexkeizer:iprop-match

fix: ensure `unpackIprop`'s fallback case is at the bottom; add corre…

0d38f61
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build
succeeded Jul 22, 2026 in 2m 46s