Registered user since Mon 14 Dec 2020

Name:Jannis Limperg
Country:Netherlands
Affiliation:Vrije Universiteit Amsterdam

Contributions

CPP 2021 Author of A Novice-Friendly Induction Tactic for Lean within the CPP 2021-track