Zero-Iteration Analytical Star-Anisotropy Syzygy & Inhomogeneous Off-Diagonal Bianchi Certifier for Decoded Quantum Interferometry (DQI) in Qualtran (598.56 -> 0.2366 gap in 0 steps, Lean 4.20.0 0 sorryAx).
Lean Updated 10 days ago 1 commits
omega-coder|Mirror: justinarndtQ/dqi-star-anisotropy-syzygy-lean (⭐0)
10 days agoAbout
Zero-Iteration Analytical Star-Anisotropy Syzygy & Inhomogeneous Off-Diagonal Bianchi Certifier for Decoded Quantum Interferometry (DQI) in Qualtran (598.56 -> 0.2366 gap in 0 steps, Lean 4.20.0 0 sorryAx).
Readme