FormalConjectures/OpenQuantumProblems/

187 declarations, 46 contain sorry, 0 declared as axioms; 3 files