QuantumLib: A Library for Quantum Computing in Coq

Jacob Zweifler, Kesha Hietala, Robert Rand
January 2022
PDF Cite Code Slides
Type
Workshop paper
Publication
The Coq Workshop 2022