Schreiber Quantum Certification via Linear Homotopy Types

A project that we are developing at CQTS:



Companion articles:




Expository presentations:



Related talks:


Precursor discussion:





Last revised on May 17, 2023 at 11:45:53. See the history of this page for a list of all contributions to it.