Merge pull request #2002 from cryspen/feat(lean)/resugaring-for-ellipsis-patterns

Merge pull request #2000 from cryspen/lean-tuple-repr

Merge pull request #2001 from cryspen/fix/missing-fields-when-ellipsis

feat(lean): add resugaring for ellipsis in pattern-matching

fix(importer): support ellipsis patterns by adding wildcards

feat(lean): derive Repr, BEq, DecidableEq for tuples

Merge pull request #1991 from cryspen/lean-const-monad-extract

Merge pull request #1995 from cryspen/lean-core-models

Merge pull request #1996 from MavenRain/rename-generic-constraint-variants

Merge branch 'main' of https://github.com/cryspen/hax into rename-generic-constraint-variants

Address PR feedback: add CHANGELOG entry and run rustfmt

Merge pull request #1998 from cryspen/this-month-in-hax-blog-post-2026-03

docs: this month in hax 03/2026.

fix(lean): fix core models extraction

Merge pull request #1994 from cryspen/lean-rustm