Rocq

Rareté : Commune

La rareté la plus courante : la plupart des articles de Wikipédia deviennent des Communes.

La rareté suit la notoriété de l’article : ses lectures sur Wikipédia en français et en anglais sur un an, et le nombre de langues dans lesquelles il existe.

Ce qu’il faut savoir

Classe

Invention

Domaine

Sciences et techniques

Coût en Savoir

4

Dans les collections

Personne ne l’a encore tirée.

Ce qu’en dit 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).

Extrait de l’article « Rocq (logiciel) » de Wikipédia, sous licence CC BY-SA 4.0. Lire l’article sur Wikipédia

Image : INRIA, LGPL, via Wikimedia Commons.