[ANN] Alt-Ergo 2.4.1

Hi everyone,

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

1 Like