GitHub repository: mdxtoc/qoc
Primary language: Coq
Created: 2015-06-26T09:15:37Z
Description: Quantum Over Coq