Lean repository linked

MIP*=RE

Zhengfeng Ji, Anand Natarajan, Thomas Vidick, John Wright, Henry Yuen · 2020

arXiv:2001.04383 · arXiv

Lean formalisations (1)

Linked by the repository’s formalization.yaml.

Project review: self-assessed, with mechanical audits; Palomar-registered after its mechanical verification and automated editorial review

Audit: awaiting publication.