header
George Tsoukalas
Mahasiswa PhD di UT Austin tertarik dengan pembuktian teorema otomatis.