Lean 4 formalization of MIP* = RE (Ji, Natarajan, Vidick, Wright, Yuen)
Lean Updated about 1 month ago 1 commits 1 stars
sigma-ai|Mirror: vidick/MIPRE-formalization (⭐1)
about 1 month agoAbout
Lean 4 formalization of MIP* = RE (Ji, Natarajan, Vidick, Wright, Yuen)
Readme
1 stars