header
George Tsoukalas
Doctorant à UT Austin intéressé par la démonstration automatique de théorèmes.