ADG 2016
ADG 2016
Co-located event
De ADG 2016
Révision datée du 15 mars 2016 à 11:29 par Narboux (discussion | contributions)
Computer Assisted Theorem Proving for the Education
June 30, 2016, Stasbourg
The goal of this session is to bring together specialist of interactive and automatic theorem proving and specialists of mathematics education.
Organizer: Julien Narboux
Confirmed participants:
- Vincent Pavan (University of Provence)
- Benoit Rognier (edukera.com)
