| user: | humam_alhusaini |
| created: | 6 months ago |
| karma: | 5 |
| about: | 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 |
| user: | humam_alhusaini |
| created: | 6 months ago |
| karma: | 5 |
| about: | 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 |