Gaëtan Gilbert@SkySkimmer 
coq top 10 theorem-proving top 10 dependent-types top 10

Expertise

Global rank

# 98,605

Location

None
Languages
coq
OCaml
TeX
Products
Emacs
sed
Topics
theorem...
depende...
theorem...
integra...
typecla...
version...
metapro...
mathema...
Package...

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.