CoqQ: Foundational Verification of Quantum Programs · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/2207.11350/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTCoqQ: Foundational Verification of Quantum Programs — mentioned by belterhttps://news.ycombinator.com/item?id=32344684urn:hackerpapers:mention:2207.11350:32344684Thu, 04 Aug 2022 16:04:57 GMT<p>[PDF]: https://arxiv.org/pdf/2207.11350.pdf</p><p><a href="https://hackerpaper.kaipfister.de/p/2207.11350/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.PLCoqQ: Foundational Verification of Quantum Programs — HN submissionhttps://news.ycombinator.com/item?id=32344683urn:hackerpapers:submission:2207.11350:32344683Thu, 04 Aug 2022 16:04:57 GMT<p>CoqQ: Foundational Verification of Quantum Programs</p><p></p><p>3 points; 1 discussion reply on HN. <a href="https://hackerpaper.kaipfister.de/p/2207.11350/">Paper and source history</a>. A submission is not an endorsement.</p>cs.PL