OAI/Computability/DirectedFeedback/CookLevin/
243 declarations, 0 contain sorry, 0 declared as axioms; 2 files
Files
- NPTableau.lean 107 declarations
- PolynomialMachine.lean 136 declarations
OAI/Computability/DirectedFeedback/CookLevin/243 declarations, 0 contain sorry, 0 declared as axioms; 2 files