Johannes Hölzl

ORCID iD
https://orcid.org/0000-0003-0869-9250
  • Country
  • Show details Hide details
Netherlands,

Sources:
Johannes Hölzl (2017-11-06)

Germany

Sources:
Johannes Hölzl (2017-11-06)

  • Websites
  • Show details Hide details
Homepage

Sources:
Johannes Hölzl (2017-11-06)

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/
  • : , ,

    {{group.getActive().startDate.year}}-{{group.getActive().startDate.month}}-{{group.getActive().startDate.day}} to present {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} |  ()
    Source: {{(group.getActive().sourceName == null || group.getActive().sourceName == '') ? group.getActive().source : group.getActive().sourceName}}
    Created:
No education added yet
  • : , ,

    {{group.getActive().startDate.year}}-{{group.getActive().startDate.month}}-{{group.getActive().startDate.day}} to present {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} |  ()
    Source: {{(group.getActive().sourceName == null || group.getActive().sourceName == '') ? group.getActive().source : group.getActive().sourceName}}
    Created:
No employment added yet