humam_alhusaini
has 5 karma and joined 6 months ago
submissions
/
comments
/
favourites
Undergraduate pursuing computer science at the University of Texas at Dallas. I'm interested in using programming languages to prove theorems.
Humam.Alhusaini@UTDallas.edu