形式化数学:Lean 入门与应用

介绍Lean定理证明器的入门课程
讲师: Jujian Zhang (张巨见)

课程材料