Rocq (logiciel)

Carte Peu commune · n° 95766

Rocq (anciennement appelé Coq) est un assistant de preuve utilisant le langage Gallina, développé par l'équipe PI.R2 de l’Inria au sein du laboratoire PPS du CNRS et en partenariat avec l'École polytechnique, le CNAM, l'université Paris-Diderot et l'université Paris-Sud (et antérieurement l'École normale supérieure de Lyon). En 2013, Rocq a été récompensé du Programming Languages Software Award par l'ACM SIGPLAN. Rocq a reçu en 2022 le premier prix science ouverte du logiciel libre de la recherche dans la catégorie « scientifique et technique ».

Lire sur Wikipédia · Image Roconnor, Public domain