open source award for Coq

Stream: general

[Johan Commelin]

Awards and recognition for the Coq proof assistant :octopus:
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)

(cc @Karl Palmskog, who announced this on the Coq zulip)

[Heather Macbeth]

Congratulations for this very well-deserved recognition!

[Kevin Buzzard]

Excellent! Another step towards world domination by proof assistants :-)

[Karl Palmskog]

some additional context here on the "semantics" of the award: https://twitter.com/Zimm_i48/status/1489984339731533825

After the ACM Software System prize in 2013 who rewarded the initial developers of Coq, this Open Science prize rewards the efforts of the new generation of Coq developers towards opening its maintenance and evolution to a global community of contributors. https://coq.inria.fr/coq-team.html https://twitter.com/Osec2022/status/1489971650531676166

- Dr. Théo Zimmermann 🏳️‍🌈 (@Zimm_i48)