OAI/Computability/MaxCut/Arithmetic/GridComputer.lean
1 declarations, 0 contain sorry, 0 declared as axioms
- theorem
OAI.OptimalMaxCut.LongCode.InstanceAdapter.exists_gridComputerline 13
OAI/Computability/MaxCut/Arithmetic/GridComputer.lean1 declarations, 0 contain sorry, 0 declared as axioms
OAI.OptimalMaxCut.LongCode.InstanceAdapter.exists_gridComputer line 13