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