Rocq (logiciel)
Assistant de preuve
Nº Q1131652 ★★
Peu commune · Littérature
Rocq (logiciel)
Assistant de preuve
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.
Dernier prix
—
Prix plancher
—
Médiane 7 j
—
Ventes 30 j
0
Fourchette 30 j
—
En circulation
0
Cours
médiane
min – max
ventes
Aucune vente sur la période
Voir le tableau
| Date | médiane | Min | Max | ventes |
|---|
Historique des ventes
- Dernière vente
- —
- Moyenne 30 j
- —
- Plus bas 30 j
- —
- Plus haut 30 j
- —
- Ventes 7 j
- 0
- Ventes 30 j
- 0
Aucune vente pour l'instant.
Ventes anonymes : ni acheteur ni vendeur. Les chiffres ne comptent que les ventes entre joueurs.
Sur Wikipédia
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 ».
Texte : Wikipédia, CC BY-SA 4.0. ·
