Précédent : Définition par filtrage Remonter : Actions de recherche Suivant : Réflexion

Utilisation du système Coq

Nous développons dans le système Coq des exemples typiques.

• Réflexion
• Théorie des Ensembles en Coq
• Formalisation des arbres de Böhm rationnels
• Preuves de circuit