Johannes Hölzl

ORCID iD
https://orcid.org/0000-0003-0869-9250

Biography

I'm working on formalizing mathematics in interactive theorem provers. I work especially with Isabelle (http://isabelle.in.tum.de/) and Lean (http://leanprover.github.io/). Currently, I'm working on the Matryoshka project: http://matryoshka.gforge.inria.fr/

Record last modified Aug 30, 2018 9:11:37 AM