rkirov / rkirov

Config files for my GitHub profile.

Home Page:https://github.com/rkirov

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

  • 👋 Hi, I’m Rado Kirov.
  • 👀 I’m interested in math, theoretical computer science and anything visual.
  • 🌱 I’m currently learning about proof assistants, homotopy type theory.
  • 💞️ I’m looking to collaborate on incremental computation, programing language design.
  • 📫 How to reach me - rkirov@gmail.com or @radokirov on Twitter.

About

Config files for my GitHub profile.

https://github.com/rkirov