Ramkumar Ramachandra


Budding mathematician intrigued by Derived Algebraic Geometry. Also an expert programmer with experience in C++ and Coq.

This site is primarily consists of my mathematical study notes.