Enzo
cloudyhug
Enzo Crance | PhD student, formal proof automation | Programming languages, compilers, type theory, Android apps, tools | OCaml, Haskell
Mitsubishi Electric R&D, Inria Nantes, France