Category: 计算理论 | 守株阁

Loading...

Category - 计算理论

2026

深入 Coq 03：Gallina 核心语法速查

2026-08-09

深入 Coq 03：Gallina 核心语法速查

深入 Coq 02：目标窗口与 tactic 交互模型

2026-08-09

深入 Coq 02：目标窗口与 tactic 交互模型

深入 Coq 01：开发环境与项目结构

2026-08-09

深入 Coq 01：开发环境与项目结构

共识算法推导——从鸽巢原理到 Paxos、ZAB 与 Raft

2026-06-21

共识算法推导——从鸽巢原理到 Paxos、ZAB 与 Raft

附录：Curry-Howard-Lambek 三角，范畴论第三条腿

2026-05-26

附录：Curry-Howard-Lambek 三角，范畴论第三条腿

收束：作为日常工具的形式化

2026-05-26

收束：作为日常工具的形式化

形式化方法的局限与工程取舍

2026-05-26

形式化方法的局限与工程取舍

大型形式化案例：CompCert、seL4、Four Color 与 Mathlib

2026-05-26

大型形式化案例：CompCert、seL4、Four Color 与 Mathlib

类型检查器的可信基底：编译通过到底信什么

2026-05-26

类型检查器的可信基底：编译通过到底信什么

在 Lean 4 中证明经典命题

2026-05-26

在 Lean 4 中证明经典命题

Loading Database