Yann Régis Gianas@yurug 
coq top 1000 recipes top 1000 reasonml top 1000

Expertise

Global rank

# 475,688

Location

paris, france
Languages
coq
reasonm...
OCaml
Topics
recipes
metapro...

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.