ProB can be used from Atelier B 4.0

Atelier B 4.0 is available !

Atelier B 4.0 is available in beta test 2

Atelier B 4.0 is available in beta test

Atelier B 4.0 Screenshots

Atelier B 4.0: Work in progress