Précédent : Actions de recherche Remonter : Actions de recherche Suivant : Fonctionnalités de Coq

Le développement du système Coq

• Fonctionnalités de Coq
• Diffusion
• Coq V5.10 et V6.1
• Coercions Implicites
• Réécriture Générique
• Définition par filtrage