Gallina

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

Gallina est le langage uniforme de description mathématique utilisé par l'assistant de preuves Rocq.

Gallina signifie poule en latin, faisant référence à l'ancien nom Coq de Rocq.

Liens externes

  • Portail de la programmation informatique
Cet article est issu de Wikipédia. Sauf mention contraire, le texte est disponible sous licence Creative Commons Attribution-Share Alike 4.0. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.