Ramkumar Ramachandra


Formal Methods/Type Theory researcher. Also an expert programmer with expertise in C++ and Coq.

This site primarily consists of my mathematical study notes.

I can be reached at [artagnon@gmail.com](mailto:artagnon@gmail.com)