Leanduction from scratch? [formal_seminar_2023]

July 26, 2023
Universität Heidelberg
Cheni Yuki Yang, Nicolas Arnold
Slide

This is the final project presentation for the HEGL seminar on formalizing mathematics in summer term, 2023. We inspected the induction principle in Lean 4.