Carte Rare

Rocq (logiciel)

assistant de preuve

Valeur

50 W

Attaque

299

Défense

239

Joueurs

0

977 vues Wikipédia ces 30 derniers jours

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…