| ▲ | ssfdg 3 hours ago | |
This proof dump reminds me of the glut of low-quality drive-by PRs overwhelming open-source repos. | ||
| ▲ | dormento 3 hours ago | parent [-] | |
Its like infinite summer of code, but for math. Must be annoying. | ||
| ▲ | ssfdg 3 hours ago | |
This proof dump reminds me of the glut of low-quality drive-by PRs overwhelming open-source repos. | ||
| ▲ | dormento 3 hours ago | parent [-] | |
Its like infinite summer of code, but for math. Must be annoying. | ||