Skip to content

Reworking the hax_construct_pure tactic#1987

Draft
abentkamp wants to merge 5 commits intomainfrom
lean-purify
Draft

Reworking the hax_construct_pure tactic#1987
abentkamp wants to merge 5 commits intomainfrom
lean-purify

Commits

Commits on Mar 17, 2026

Commits on Mar 18, 2026