Herman Geuvers
IdRefMots clés
FR |
EN
Théorie des types
Coq (logiciel)
Prototype verification system (PVS)
Logique d'ordre supérieur
Sous-typage par prédicats
Théorie de la démonstration
Prédicat (logique)
Cadre logique
Interoperabilité
Dedukti
Pratique basée sur les preuves
Interconnexion de réseaux (télécommunications)
Assistants de preuve
Preuve formelle
Assistant de preuve Coq
Analyse réelle
Analyse mathématique
Baccalauréat
Assistants à la Preuve
Typage Bidirectionnel