[fr] Coq en français
Annonces Cette catégorie est destinée à faire passer des annonces (colloques, évènements divers, offres d’emploi) en français. Pour les évènements dans des pays francophones concernant un public international, utilisez aussi la catégorie principale Announcements pour poster une annonce en anglais.
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| À propos de la catégorie Coq en français |
|
1 | 356 | February 25, 2019 |
| "functional induction" pour Program Fixpoint |
|
1 | 289 | November 10, 2020 |
| Soutenance de thèse de Théo Zimmermann le 12 décembre |
|
0 | 581 | November 30, 2019 |