v0.40.6

apalache-bot released this 04 Jul 12:53

· 742 commits to main since this release

0.40.6 - 2023-07-04

Bug fixes

Fix an issue with translating Quint type variables, see #2629

Assets 7