Contactez-nous
Benjamin Werner
Chercheur INRIA dans l'équipe
LOGICAL
.
Voir le(s) document(s) :
Preuves formelles, preuves calculatoires