Rodin : relase 2.3.0 of the Atelier B prover plug-in

Publié le 16/02/2021 |

We are pleased to announce that the new relase 2.3.0 of the Atelier B prover plug-in is now available.

This plug-in is made with the latest version of Atelier B provers: 4.6.3 (links to the announcement)

This new version is 64-bit only, and works on all OSes supported by Rodin 3.3