Pinned Loading
-
Qorq
Qorq PublicA drag-and-drop tool that runs in your browser for visualizing how single-qubit quantum gates transform a complex statevector on an Argand plane.
JavaScript
-
Lean-QIT-declarations
Lean-QIT-declarations PublicAn online searchable catalog of all declarations in Lean-QIT, the Lean 4 Quantum Information Theory library by QuAIR (arXiv:2607.09632). All mathematical content is QuAIR's, Apache-2.0.
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.
