GitHub repository: plum-umd/QNP
Primary language: Coq
Description: Quantum Natural Proof