Stream: Miscellaneous

Topic: Scientific and technical open source software award to Coq


view this post on Zulip Karl Palmskog (Feb 05 2022 at 17:01):

Congrats to the Coq core team for the open source software award from the French government: https://twitter.com/ouvrirlascience/status/1489971597230460929
https://twitter.com/Osec2022/status/1489971650531676166

#OSEC2022 Prix science et technique : Coq assistant de preuve, langage formel pour décrire des définitions mathématiques et des outils pour vérifier formellement des algorithmes ou des théorèmes @Zimm_i48 http://coq.inria.fr @sup_recherche @ouvrirlascience https://twitter.com/ouvrirlascience/status/1489971597230460929/photo/1

- Comité pour la science ouverte (@ouvrirlascience)

@giry_claire @sup_recherche @dleberre @Univ_Artois Scientific and technical award: Coq, a proof management system providing a formal language to write mathematical definitions, executable algorithms and theorems Theo Zimmermann @Zimm_i48 https://coq.inria.fr/ @sup_recherche #OSEC2022 https://twitter.com/Osec2022/status/1489971650531676166/photo/1

- OSEC 2022 - Paris Open Science European Conference (@Osec2022)

https://www.enseignementsup-recherche.gouv.fr/fr/remise-des-prix-science-ouverte-du-logiciel-libre-de-la-recherche-83576#item1

view this post on Zulip Karl Palmskog (Feb 05 2022 at 17:05):

in particular, congrats and props to Théo Zimmermann for a job well done to ensure Coq was under consideration for this award!

view this post on Zulip Johan Commelin (Feb 05 2022 at 18:15):

Congratulations!


Last updated: Aug 19 2022 at 19:03 UTC