Contact

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

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

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

https://sourceforge.net/p/rodin-b-sharp/mailman/message/37167811/

You will also like:

Copy link
Powered by Social Snap