Thierry Lecomte

AI for interactive proof

AI for interactive proof

Through the collaborative R&D project AIDOaRT , CLEARSY is going to develop a module within the Atelier B Interactive prover that can learn interactive...

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