Showing 1–19 of 19 results
/ Date/ Name
Apr 11, 2024ViCAR: Visualizing Categories with Automated Rewriting in CoqOct 3, 2020Proving Quantum Programs CorrectNov 5, 2023COGNAC: Circuit Optimization via Gradients and Noise-Aware CompilationApr 22, 2022MCBeth: A Measurement Based Quantum Programming LanguageOct 26, 2011Ordered direct implicational basis of a finite closure systemApr 12, 2019Verified Optimization in a Quantum Intermediate RepresentationApr 14, 2022A Formally Certified End-to-End Implementation of Shor's Factorization AlgorithmMar 2, 2018QWIRE Practice: Formal Verification of Quantum Circuits in CoqDec 4, 2019A Verified Optimizer for Quantum CircuitsJan 22, 2021Hoare meets Heisenberg: A Lightweight Logic for Quantum ProgramsApr 26, 2022Qunity: A Unified Language for Quantum and Classical Computing (Extended Version)Nov 20, 2023VyZX: Formal Verification of a Graphical Quantum LanguageJan 29, 2019ReQWIRE: Reasoning about Reversible Quantum CircuitsApr 8, 2019Verification Logics for Quantum ProgramsAug 4, 2025Compositional Quantum Control Flow with Efficient Compilation in QunityApr 19, 2026TensorRocq: Enabling diagrammatic reasoning in RocqJun 7, 2022Q# as a Quantum Algorithmic LanguageSep 6, 2021Gottesman Types for Quantum ProgramsMay 11, 2022VyZX : A Vision for Verifying the ZX Calculus