We are pleased to announce a new release of Alt-Ergo! Alt-Ergo 2.4.1 is now available on our Github.
This release contains some major novelties:
- Improvement of term purification
- Implementation of a semantic term construction cache
- Replacement of Travis-CI by GitHub actions
- Improvement of documentation
- Unsoundness fixes
Do not hesitate to report bugs, to ask questions, or to give your feedback!
The Alt-Ergo team – OCamlPro