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.