Talks [slides]

    Here is a list of talks I have given, both mathematical and non-mathematical:

    1. Build a reliable math library [2025mathsig]

    I gave a talk on the 6th plenary meeting of NJUPT MathSIG, about Lean 4 and Mathlib.