Gallina définitions

Gallina

Poule
Trouvé sur https://www.e-venise.com/florence-lexique-culinaire.html

---

Gallina

Gallina est le langage uniforme de description mathématique utilisé par Coq.
Trouvé sur https://fr.wikipedia.org/wiki/Gallina

---