kolya-vasiliev/vqc-rus

Russian translation of Quantum Verified Computing book

Coq