Arnaud Spiwack@aspiwack 
coq top 100 theorem-proving top 100 dependent-types top 100

Expertise

Global rank

# 117,257

Location

Paris
Languages
coq
elisp
PureScr...
OCaml
Haskell
Markdow...
TeX
Products
emacs-l...
Emacs
sed
Topics
theorem...
depende...
haskell...
stdlib
transac...
doom-em...
pandoc
pdf-vie...
data-st...
Cryptoc...

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.