主讲人：张巨见（英国帝国理工大学）时间：2025年11月25日晚19:00—20:00 地点：腾讯线上会议 59681759385
【报告摘要】本报告介绍 Lean 在组合数学中的应用，重点展示如何利用 Mathlib 对排列、计数函数等离散结构进行形式化建模，并借助形式化工具完成可靠的组合推理。我们将讨论使用 Lean 证明典型组合恒等式、处理母函数与生成函数、以及验证递推关系的方法。
