Gödel's Lost Letter and P=NP personal blog
Lint for Math
Can we remove simple errors from math proofs? simple-talk interview source Stephen Johnson is one of the world’s top programmers. Top programmers are inherently lazy: they prefer to build too…
- Points
- 107
- HN comments
- 30
- Submissions
- 1
- Cited by
- 0 commenters
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Mar 9, 2015 | Lint for Math by GFK_of_xmaspast | 107 | 30 |
