*Godot est mort !*
La communication que j’avais présentée au colloque UNILOG, le 9 avril 2022, disponible maintenant sur arXiv : What makes a demonstration worthy of the name? What makes a demonstration worthy of the name?Télécharger
La communication que j’avais présentée au colloque UNILOG, le 9 avril 2022, disponible maintenant sur arXiv : What makes a demonstration worthy of the name?