A student of mathematics and theoretical computer science interested in formal methods and automated theorem proving.
- Chennai, India.
Popular repositories Loading
-
git-it
git-it PublicForked from jlord/git-it
💻 🎓 Learn Git and GitHub. Try the new desktop version →
HTML 1
-
ProjectReticle
ProjectReticle PublicAn open source, multiplatform, multithreaded, advanced, real-time rendering api based on OpenGL
C++ 1
-
-
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.