Lihong Zhi
Lihong Zhi
Affiliation: Academy of Mathematics and Systems Science
Talks
(Lean)
Formalizing Wu-Ritt Method in Lean 4 · Contributed talks 4
Pages in this Program
Program
Program on Saturday, 25 July 2026
Lean on Saturday, 25 July 2026
Lean Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑