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 | |
| Paradigmes | Purement fonctionnel |
|---|---|
| Typage | Fort, statique, type inductif |
| Influencé par | ML |
| Implémentations | Rocq |
modifier  |
|
Gallina est le langage uniforme de description mathématique utilisé par l'assistant de preuves Rocq.
Gallina signifie poule en latin, faisant référence à l'ancien nom Coq de Rocq.
