User:Atharvashukla

I'm a computer science student. Interested in programming language theory. I'm also interested in proofs about programs, and elementary set theory.