En relation avec le sujet du cours

Vers une automatisation sûre et expressive : combiner preuves automatiques et interactives