Gallina
Gallina est le langage uniforme de description mathématique utilisé par Coq.
| Gallina | |
| Paradigmes | Purement fonctionnel |
|---|---|
| Typage | Fort, statique, type inductif |
| Influencé par | ML |
| Implémentations | Coq |
Gallina signifie poule en latin.
Liens externes
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.