Lean 4 形式化验证实战：从定理证明到可验证软件

📖 专题导读：本页为精选资料导读，非完整体系课程。系统课正在筹备中，建议先收藏看干货；深度学习请关注必学必会算法旗舰课。