About Rahul Chhabra

Undergrad at IIIT Allahabad. I have a general interest in (homotopy) type theory, category theory, domain theory, constructive mathematics and their applications to computer science.

Lists

Timeline

rahulc29 has no activity yet