Related Work personal blog
A proof of proof by infinite descent
WARNING: the following contains a whole lot of pedantry about proving theorems at a level of detail such that you could likely convince a co...
- Points
- 124
- HN comments
- 54
- Submissions
- 1
- Cited by
- 0 commenters
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jul 1, 2024 | A proof of proof by infinite descent by matt_d | 124 | 54 |
