1/2 - Introduction et et formalisation en langue naturelle, présentation à partir de deux preuves

Nous proposons ici deux vidéos de présentation d’un atelier “Pratiques langagières et preuves” par Christophe Hache et Zoé Mesnil. Initialement présenté lors du colloque de la Corfem en juin 2015, la présentation filmée s’est déroulée en février ...