Aller au contenu

Gallina

Un article de Wikipédia, l'encyclopédie libre.

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]