header
George Tsoukalas
Doctorand la UT Austin interesat de demonstrarea automată a teoremei.