视频目录 / 数学逻辑、集合与证明

热度排名 #1943

ProofCheck｜怎样检查用 TeX 写下的数学证明？

31. ProofCheck: Checking Mathematical Proofs written in TeX

排版良好的公式仍可能漏掉推理。看这个工具怎样把文档中的命题和步骤提出来，以及其中哪些关系可以交给程序检查。

Next Day Video · 1 串讨论 · 热度 1.418

在此播放

讨论出处

• Hacker News · 原讨论 ↗2012-04-14 · 帖子分数 1