George Tsoukalas Profile
George Tsoukalas

@gtsoukal

180
Followers
245
Following
0
Media
14
Statuses

PhD student at UT Austin interested in automatic theorem proving.

Joined September 2022
Don't wanna be here? Send us removal request.

No tweets found