破损的证明与破损的证明器
发布: (2026年2月4日 GMT+8 17:00)
1 min read
原文: Hacker News
Source: Hacker News
Article Details
- 文章 URL: https://lawrencecpaulson.github.io/2026/01/15/Broken_proofs.html
- 评论 URL: https://news.ycombinator.com/item?id=46883337
- 积分: 5
- 评论: 0