标签：程序验证

带「程序验证」标签的文章。

• E-graphs 学习笔记：动机与 Explanations

  更新于2026年2月12日

  传统 Term Rewriting 的局限如何引出 E-graph；volvox 实战困境；egg 的 explain_equivalence、FlatExplanation 与 TreeExplanation，以及如何读懂除法化简的证明序列。