Erik Martin-Dorel@erikmd 
Maître de Conférences en Informatique (IRIT/UPS)
integrated-development-environment top 100 coq top 100 dependent-types top 100

Expertise

Global rank

# 75,039

Location

Toulouse, France
Languages
coq
OCaml
Products
Jekyll
Emacs
sed
Topics
integra...
depende...
theorem...
jekyll-...
ruby-ge...
jekyll-...
smtp-se...
github-...
postfix
static-...

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.