| | The Mechanics of Proof (hrmacbeth.github.io) |
| 137 points by segfaultbuserr on March 19, 2024 | past | 25 comments |
|
| | A proofs class textbook in Lean 4 suitable for coders (hrmacbeth.github.io) |
| 4 points by dangrigsby on Feb 11, 2024 | past |
|
| | The Mechanics of Proof (hrmacbeth.github.io) |
| 5 points by yeesian on Aug 2, 2023 | past |
|
