Enrico Tassi@gares 
I'm a researcher in CS, mainly formal proofs and the implementation of proof assistants. I'm a hacker, a free software supporter and a proud Debian developer.
coq top 10 theorem-proving top 10 dependent-types top 10

Expertise

Global rank

# 98,706

Location

Inria Sophia-Antipolis
Languages
coq
OCaml
TeX
Products
vscode
Emacs
sed
Topics
theorem...
depende...
integra...
constra...
mathema...
vscode-...

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.