v0.30.4

apalache-bot released this 08 Mar 13:31

· 1082 commits to main since this release

0.30.4 - 2023-03-08

Bug fixes

Fix the typing of quint empty sets during conversion (see #2466)

Assets 7