Armaël Guéneau@Armael 
functional-language top 100 formal-verification top 100 algebraic-effects top 100

Expertise

Global rank

# 218,079

Location

Aarhus
Languages
coq
lean
f-sharp
OCaml
F#
Products
opam
Atom
Emacs
Vim
sed
Git
Topics
functio...
formal-...
algebra...
theorem...
depende...
multico...
lambda-...
smt
Package...
svg

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.