Block or Report
Block or report Lachnitt
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
Isabelle_marries_Dirac
Isabelle_marries_Dirac PublicForked from AnthonyBordg/Isabelle_marries_Dirac
A certified library of quantum computing using the Isabelle proof assistant
Isabelle 1
-
AnthonyBordg/Isabelle_marries_Dirac
AnthonyBordg/Isabelle_marries_Dirac PublicA certified library of quantum computing using the proof assistant Isabelle
-
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.