Herman Geuvers
Mots clés
FR |
EN
Coq (logiciel)
Théorie des types
Preuve formelle
Assistant de preuve Coq
Analyse réelle
Analyse mathématique
Baccalauréat
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
Mathématiques formelles
Algorithmes certifiés