数理逻辑与形式化方法 Logic & formal methods
逻辑与形式化验证：证明助手、Coq、Lean、TLA+、类型论与证明、SAT 求解器、模型检测、程序正确性、数学基础与集合论。
9 人推荐 · 跨 10 个月
9 人推荐 · 跨 9 个月
9 人推荐 · 跨 8 个月
7 人推荐 · 跨 7 个月
6 人推荐 · 跨 7 个月
9 人推荐 · 跨 7 个月
5 人推荐 · 跨 5 个月
6 人推荐 · 跨 5 个月
逻辑与形式化验证：证明助手、Coq、Lean、TLA+、类型论与证明、SAT 求解器、模型检测、程序正确性、数学基础与集合论。
