Gallina est le langage uniforme de description mathématique utilisé par l'assistant de preuves Rocq.

signifie poule en latin, faisant référence à l'ancien nom Coq de Rocq.

Liens externes

Le manuel de référence de Rocq

Catégorie:Langage informatique