Gallina

Un article de Wikipédia, l'encyclopédie libre.
Sauter à la navigation Sauter à la recherche

Gallina
Paradigmes Purement fonctionnel
Typage Fort, statique, type inductif
Influencé par ML
Implémentations Coq

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

Gallina signifie poule en latin.

Liens externes[modifier | modifier le code]