MIPStarRE

This root module re-exports the finite-dimensional quantum infrastructure and the low individual degree test formalization used for the project surrounding the theorem (MIP^* = RE).

References

• arXiv:2009.12982, MIP^* = RE
• The active low individual degree test development in MIPStarRE.LDT
• The finite-dimensional quantum infrastructure in MIPStarRE.Quantum