Proof Assistants For Education: Members

• 

  smodeste

• 

  Emmanuel Beffara

  Affiliation

  Université Grenoble Alpes

  Discipline

  Computer Sciences; Mathematics

  Location

  Grenoble

• 

  Julien Narboux

  Affiliation

  University of Strasbourg

  Discipline

  Computer Sciences

  Location

  Strasbourg

• 

  Alexsaphir

• 

  IroBartzia

• 

  Flávio Leonardo Cavalcanti de Moura

  Affiliation

  Universidade de Brasília

  Discipline

  Computer Sciences; Mathematics

  Location

  Brasília

• 

  antoinemeyer

• 

  zoe_mesnil

• 

  Pietro Monticone

  Affiliation

  University of Turin

  Discipline

  Philosophy; Computer Sciences; Mathematics; Physics

  Location

  Italy

• 

  kitty_yan

• 

  FTranMinh