OAI/Computability/MaxCut/Gadgets/
27 declarations, 0 contain sorry, 0 declared as axioms; 2 files
Files
- Polynomial.lean 23 declarations
- ValuePolynomial.lean 4 declarations
OAI/Computability/MaxCut/Gadgets/27 declarations, 0 contain sorry, 0 declared as axioms; 2 files