Machine-checked Lean 4.20.0 proofs (0 sorryAx), Sub-8-Bit Parabolic QROM quantum circuits (226 CCX/circuit in .kmb & OpenQASM 3.0), and float64 Bianchi-Kronecker SOS lower-bound certificates for FeMoCo (54.31 Ha) & P-Cluster (196.88 Ha).
OpenQASM Updated 10 days ago 1 commits
surge-bot|Mirror: justinarndtQ/quantum-cohomological-certificates (⭐0)
10 days agoAbout
Machine-checked Lean 4.20.0 proofs (0 sorryAx), Sub-8-Bit Parabolic QROM quantum circuits (226 CCX/circuit in .kmb & OpenQASM 3.0), and float64 Bianchi-Kronecker SOS lower-bound certificates for FeMoCo (54.31 Ha) & P-Cluster (196.88 Ha).
Readme