Tej Chajed@tchajed 
PhD student in systems. I write software and prove that it's correct.
stock-prices top 100 coq top 100 youtube-player top 100

Expertise

Global rank

# 62,761

Location

Cambridge, MA
Languages
coq
fish-sh...
OCaml
Perl
Common ...
Haskell
TeX
Python
Products
opam
emacs-l...
Emacs
Vim
Bash
sed
Git
Topics
stock-p...
youtube...
depende...
theorem...
doom-em...
emacs-c...
recomme...
evil
fisher
obsolet...

Help us improve

If you found missing or incorrect information, or would like to request the removal of this profile, please contact [email protected]

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.