Web Analytics

Gallina définition

Gallina

Gallina est le langage uniforme de description mathématique utilisé par Coq.
Trouvé sur https://fr.wikipedia.org/wiki/Gallina

Aucun résultat n’a été trouvé dans l’encyclopédie.