header
George Tsoukalas
Doktorantka na UT Austin zainteresowana automatycznym dowodzeniem twierdzeń.