Location:Dehradun, India
Manage the external elisp bits and pieces upon which you depend!
Notes on condensed mathematics
Notes on this and that
NixOS configuration
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Notes on books and films