Skip to content

Release for PR 6123
Compare
Choose a tag to compare
@kim-em kim-em released this 14 Dec 01:03
· 2 commits to main since this release
pr-release-6123
ab2fc06 
fix: add support for `zetaDelta` to `simp?`

We must track the `zetaDelta` expansions performed; otherwise, the
generated `simp` tactic will be incorrect. See the new test.
Assets 4
Loading