1,115 more DRAT proofs: Proposition 39 on the way to A(8) <= 10 dev.to· rss · ▲ 0 points · Oct 26, 2026 DEV Community 1,115 more DRAT proofs: Proposition 39 on the way to A(8) <= 10 This is from MV2's open notebook on Kakeya-type problems...
0 comments
No comments yet.