feat(OpenQuantumProblems): Added proofs for sanity-checked sorrys of OQP23#3780

Open

MarioKrenn6240 wants to merge 3 commits intogoogle-deepmind:mainfrom

MarioKrenn6240:oqp23-sic-proofs

Commits on Apr 15, 2026

feat(OpenQuantumProblems): prove test lemmas for OQP 23
MarioKrenn6240
committed

Commits on Apr 16, 2026

docs(OpenQuantumProblems): fix docstrings in OQP 23
MarioKrenn6240
committed
chore(OpenQuantumProblems): reclassify API/test lemmas in OQP 23
MarioKrenn6240
committed