Lean: Allow for match statments of heterogeneous bitvector length#1071

Open

javra wants to merge 2 commits intorems-project:sail2from javra:lean/heterogeneous_match

+73-30

Commits on Feb 25, 2025

add instances to carry coercions over products
javra
committed

Commits on Feb 26, 2025

print type annotations of patterns
javra
committed