La version 3.7.1 de l’Atelier B est disponible. Elle corrige des anomalies mineures de l'atelier B sur le vérificateur de type et l'interface de preuve, et...
![Atelier B 3.7.1](https://www.atelierb.eu/wp-content/uploads/2022/11/Clearsy-Thumbnail.png)
La version 3.7.1 de l’Atelier B est disponible. Elle corrige des anomalies mineures de l'atelier B sur le vérificateur de type et l'interface de preuve, et...