Gallina
langage de programmation
From Wikipedia, the free encyclopedia
Gallina est le langage uniforme de description mathématique utilisé par l'assistant de preuves Rocq.
Cet article est une ébauche concernant l’informatique.
Cet article ne cite pas suffisamment ses sources ().
| Gallina | |
| Paradigmes | Purement fonctionnel |
|---|---|
| Typage | Fort, statique, type inductif |
| Influencé par | ML |
| Implémentations | Rocq |
| modifier |
|
Gallina signifie poule en latin, faisant référence à l'ancien nom Coq de Rocq.
