User: humam_alhusaini

  • Created: 131 days ago
  • Karma: 3
  • 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