[Why3-club] Release of Alt-Ergo 2.3.0

Mohamed Iguernlala iguer.auto at gmail.com
Tue Feb 12 11:20:58 CET 2019

Release of Alt-Ergo 2.3.0

Dear Alt-Ergo users,

We are happy to announce the release of Alt-Ergo 2.3.0. You can
get the sources from the website: https://alt-ergo.ocamlpro.com.
OPAM packages will be available soon.

The main novelties of this version are given in this blog post:

and a more exhaustive list of CHANGES is available here:

Also, we are happy to inform you that an Alt-Ergo Users Club is
born. The first meeting is scheduled for this week. Don't
hesitate to contact us if you want to join the Club and to support
Alt-Ergo development.

As usual, you can report bugs, ask questions, or give your
feedback regarding this version, or Alt-Ergo in general:

Best regards,
Mohamed Iguernlala

Senior R&D Engineer, OCamlPro SAS
Research Associate, VALS team, LRI
Webpage: http://www.iguer.xyz
LinkedIn: https://fr.linkedin.com/in/mohamed-iguernlala-71515979

More information about the Why3-club mailing list