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

github.com/kylechui/2ControlVerification

Problem

Audience

Updates

No founder updates yet. Check back soon.