Papers with computer-checked proofs [pdf]https://cr.yp.to/papers/pwccp-20230909.pdf by staunton • 3 years ago 3 1 3 years agoCRcr.yp.to