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

Merged

MackieLoeffel merged 3 commits into

leanprover-community:masterfrom

alexkeizer:iprop-match

Jul 22, 2026

Commits on Jul 19, 2026

feat: add support for `match` in `iprop(...)`
alexkeizer
committed

Commits on Jul 21, 2026

refactor: throw unsupported syntax error on unsupported match
alexkeizer
committed
fix: ensure `unpackIprop`'s fallback case is at the bottom; add corresponding test-cases
alexkeizer
committed