Software Foundations

课程概览

用 Coq 形式化证明介绍逻辑、函数式程序与程序语言基础。

官方与学习资源

课程 / 官方资源主页 ↗

• 课程或官方文档 ↗官方资源 · 版本以提供方为准 · 请核对提供方访问条件

学习建议

• 先读课程官方说明，确认版本、先修要求和公开资源范围。