header
George Tsoukalas
PhD-student ved UT Austin interessert i automatisk teorembevising.