Karl Palmskog (Feb 05 2022 at 17:01): 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) 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!
Johan Commelin (Feb 05 2022 at 18:15):Congratulations!
Last updated: Apr 20 2024 at 12:02 UTC