Formation Coq pour l'industrie
Mots-clésIntermédiaireFormatHybrideDurée21 hType d'offreCours
BAF-GEN-0126Publiéformation-coq-pour-l-industrie- Objectifs pédagogiques
- Installer Coq
- Programmer en Coq
- Structurer un développement Coq
- Faire des preuves en Coq
- Extraire des programmes
- Produire du matériel certifiable
Public visé
Ce cours Coq s'adresse principalement aux développeurs.
Prérequis
- Pour suivre cette formation Coq il est nécessaire d'avoir de bonnes connaissances en algorithmique, en programmation fonctionnelle ainsi qu'en mathématiques. J’évalue mes connaissances pour vérifier que je dispose des prérequis nécessaires pour profiter pleinement de cette formation en faisant ce test .