Papers
值得读的论文与短评。
以「学习提议 cut-point / 候选引理，形式化引擎裁决」为主线的论文卡片与阅读评注。
Berkeley ABC 工具链的经典介绍；逻辑综合与验证实验的常用底座。