Version du 8 juin 2011 à 14:06 modifier Lebrouillard (discuter \| contributions) Administrateurs 101 960 modifications +portail ← Modification précédente		Version du 9 octobre 2012 à 16:29 modifier annuler Jimi Dave (discuter \| contributions) 57 modifications Liens vers le manuel de Coq Modification suivante →
Ligne 13 : }} '''Gallina''' est le langage uniforme de description mathématique (le “vernaculaire” Gallina) utilisé par [[~~coq~~Coq (logiciel)\|~~coq~~Coq]]. À noter que ''{{lang\|la\|gallina}}'' signifie poule en latin. == Liens externes == * [http://coq.inria.fr/distrib/V8.4/refman/toc.html Le manuel de référence de Coq] {{Portail\|Informatique}}

« Gallina » : différence entre les versions