GitHub
有趣的仓库与工具推荐。
精选 Lean 4 作为定理证明练习环境，说明如何与本站流水线不变量笔记衔接。
介绍如何用 Yosys 做可读的综合脚本与基础 equivalence 流程，并说明和本站验证主题的关系。
从 RTL 到网表的开源综合框架，脚本友好，适合教学与实验。
现代定理证明器；把「证明」写成可检查的程序。