Skip to content

feat: restrict simpa using h close to reducible transparency#13636

Open
kim-em wants to merge 5 commits into
leanprover:masterfrom
kim-em:simpa-reducible-impl
Open

feat: restrict simpa using h close to reducible transparency#13636
kim-em wants to merge 5 commits into
leanprover:masterfrom
kim-em:simpa-reducible-impl

Commits

Commits on May 6, 2026

Commits on May 12, 2026