Tutorial: introduction to Coq
Résumé
Part 1 : introduction - Part 2 : verification of a compiler
Laboratoire CEDRIC : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01126146
Soumis le : vendredi 6 mars 2015-11:43:18
Dernière modification le : mardi 9 avril 2024-17:12:46