Follow

« Le projet Coq reçoit le prix Science Ouverte du Logiciel Libre de Recherche ».
Théo Zimmermann, qui fait partie de l'équipe de développement, revient sur les motivations de la candidature et ce que ce prix représente pour l'équipe : theozimmermann.net/2022/03/pri

· · Web · 1 · 3 · 2

@frederic Saluons que Coq ne serait rien sans l’INRIA, oups, pardon, sans France Disruption Numérique

Sign in to participate in the conversation
Mastodon Fred

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!