Théo Zimmermann@Zimmi48 
Soft. Eng. researcher working on @coq & its ecosystem. I like to program using nice FP languages with type-inference, such as @ocaml or @elm. He / him.
coq top 10 theorem-proving top 100 dependent-types top 100

Expertise

Global rank

# 94,027

Location

Paris
Languages
coq
lean
elm
OCaml
TeX
Products
sqlite3
Jekyll
vscode
sed
Topics
theorem...
depende...
licensi...
disqus
typecla...
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.