This is the latest stable 0.5 release.
Changes since 0.4 include many bug fixes as well as improvements in the language and theorem prover back-end.
Language improvements:
- map comprehensions
- if-the-else expressions in definitions
withclause for proving quantified assertions semi-manually
Back-end improvements:
- model REPL
- new E-matching engine
- more robust support for ADTs
- better support for quantifiers that do not fall into the decidable fragment