Contact

Status Report about Traductions

Status Report about Traductions

Many of you have answered us in order to participate in the translation of manuals dedicated to Atelier B: thank you.

Here is a status report on our work:

  • The Bart specification document, which describes the refinement rule language for the Bart automatic refinement tool has been translated into English thanks to the help of Aryldo G. Russo Jr.
  • The mathematical rule writing manual has been translated into English thanks to the help of David Deharbe and Anderson Santana de Oliveira.
  • The translation of the B language user manual into English has been initiated.

If you would like to help us with translations, please contact us at the following address: open-source@clearsy.com.

To synchronize efforts and avoid overlaps, please send us an e-mail when you plan to start the translation.

You will also like:

Copy link
Powered by Social Snap