AOSC 中大校园行上 Lean4 分享的幻灯片和代码

幻灯片

代码（点击跳转至 Lean 4 Web，可在线运行）