Submission b85eb1ca2cfa
| Title: | VQ Among Machine-Checked Quantum Program Systems |
| Authors: | Jamie Stephens |
| Subjects: | Programming Languages (cs.PL); Logic in Computer Science (cs.LO) |
| Replaces: | marXiv:2608.00043 |
| Submitted: | Sun, 16 Aug 2026 17:35 |
| PDF: | submitted PDF |
| Status: | accepted |
| Paper: | marXiv:2608.00043 |
Event log
| Sun, 16 Aug 2026 22:35:38 UTC | submitted | |
| Sun, 16 Aug 2026 22:35:38 UTC | review started | |
| Sun, 16 Aug 2026 22:35:48 UTC | subject assigned | |
| Sun, 16 Aug 2026 22:38:00 UTC | accepted |
Review
Decision: accept Classification (automatic): Programming Languages (cs.PL); Logic in Computer Science (cs.LO) Accept. ## Remarks No remarks.