Repository Issues

kylechui/2ControlVerification

A proof verification of "Optimal Implementation of Quantum Gates with Two Controls".

Auf GitHub ansehen
Stars
 (4 Stars)
Forks
 (2 Forks)
Indexierte Issues
 (0 indexierte Issues)
offene Einsteiger-Issues
 (0 offene Einsteiger-Issues)
Zuletzt indexiert
Noch nicht indexiert
Letzter GitHub Push
21. Juni 2024
Lizenz
Keine Lizenzdaten
Contributing Guide
Kein Contributing Guide
Code of Conduct
Kein Code of Conduct
Hauptsprache
Coq
PR-Merge-Metriken
 (PR-Metriken ausstehend)
Einsteiger-Labels
Keine Einsteiger-Labels indexiert

Issues

0 offene indexierte Issues

RSSAtom

Für dieses Repository wurden keine offenen indexierten Issues gefunden.