NEWS

Version 4.6.3 of Atelier B

Version 4.6.3 of Atelier B

We are pleased to inform you that Atelier B 4.6.3 is available. It is exclusively reserved for maintenance holders, and is accessible from the account page....

Version 4.6.3 of Atelier B

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...

Version 4.6.3 of Atelier B

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...

Version 4.6.3 of Atelier B

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...