2026 Summer School · AI4Math

Lean 形式化数学

时间

2026 / 7 / 15 — 7 / 21

共 7 天 · 7/15 上午 8:30 报到

地点

浙江大学紫金港校区东1B教学楼

210 / 211 / 212 教室

入门班

类型论与 Lean4 入门

王铎磊香港中文大学（深圳）
颜富彬香港中文大学（深圳）
李哲厦门大学

查看课件 →

提高班

Lean4 的元编程

董安杰香港中文大学（深圳）
王语同北京大学
徐天一北京大学

查看课件 →