GitHub repository: AnthonyBordg/Isabelle_marries_Dirac
Primary language: Isabelle
Created: 2018-06-20T16:18:22Z
Description: A certified library of quantum computing using the proof assistant Isabelle