Ecole des jeunes chercheurs en Programmation- Utilisation de l'AtelierB


Quleques slides pour démarrer


Accès à l'AtelierB 4.0 (free) :   http://www.atelierb.eu/


Accès à la documentation :Documentation de l'outil Pour installation à partir de la page 10


Correspondance symboles mathématiques - symboles ASCII

Documentation pour la preuve interactive