Issues do repositório

kylechui/2ControlVerification

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

Ver no GitHub
Stars
 (4 stars)
Forks
 (2 forks)
Issues indexadas
 (0 indexado issues)
issues iniciantes abertas
 (0 issues iniciantes abertas)
Última indexação
Ainda não indexado
Último push no GitHub
21 de jun. de 2024
Licença
Nenhum dado de licença
Guia de contribuição
Nenhum guia de contribuição
Código de conduta
Nenhum código de conduta
Linguagem principal
Coq
Métricas de merge de PR
 (Métricas PR pendentes)
Labels para iniciantes
Nenhuma label para iniciantes indexada

Issues

0 aberto indexado issues

RSSAtom

Nenhum issues indexado aberto encontrado para este repositório.