| ▲ | Creating a database of motivated proofs – Gowers's Weblog(gowers.wordpress.com) | |
| 9 points by furcyd 13 hours ago | 1 comments | ||
| ▲ | friederrr 3 hours ago | parent [-] | |
Along the same lines, and with Tim Gowers as author, too: https://arxiv.org/html/2412.15184v1 | ||