Name:Jannis Limperg

Bio:

PhD student at LMU Munich on the Lean Forward project

Country:Germany

Affiliation:University of Munich (LMU)

Research interests:Interactive theorem proving, proof automation, type theory