NEWS

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

Version 4.5.1 of Atelier B for Mac-OS

Atelier B 4.5.1  is a Community Edition version, freely downloadable This installer allows the execution of AtelierB 4.5.1 on macOS 10.15, called...

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

Version 4.5.5 of Atelier B

The version 4.5.5 Maintenance edition has been releasedIt version fix a bug present since the first version of prover.This bug is related to the instantiation...

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

Version 4.5.1 of Atelier B

Atelier B 4.5.1 is a Community Edition version, freely downloadable This release fixes a bug on the C translator call from the user interface. For 4.5.0...

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

Version 4.5 of Atelier B

Atelier B 4.5.0 is a Community Edition version, freely downloadable This version fixes, cumulatively  since version 4.2.1, 146 bugs and several...