American Mathematical Society company blog
Anatomy of a Formal Proof
The original page did not respond normally when we last checked (HTTP 403). The archived copy may help.
- Points
- 134
- HN comments
- 11
- Submissions
- 1
- Cited by
- 0 commenters
Math & AlgorithmsSoftware Engineering2025
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jan 24, 2025 | Anatomy of a Formal Proof by bikenaga | 134 | 11 |
