Gallina

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
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.

À noter que gallina signifie poule en latin.

Liens externes[modifier | modifier le code]