Gallina

Pour les articles homonymes, voir Gallina (homonymie).

Cet article est une ébauche concernant l’informatique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Gallina est le langage uniforme de description mathématique utilisé par Coq.

Gallina signifie poule en latin.

Liens externes