![](https://images.math.cnrs.fr/wp-content/uploads/2023/11/arton2710-1600x900.jpg)
Le 22 avril 2014, c’était la journée de lancement du trimestre Sémantique des preuves et des programmes et mathématiques certifiées.
Le 22 avril 2014, c’était la journée de lancement du trimestre Sémantique des preuves et des programmes et mathématiques certifiées.