OAI/Computability/MaxCut/Arithmetic/
16 declarations, 0 contain sorry, 0 declared as axioms; 3 files
Files
- GridComputer.lean 1 declarations
- GridWeight.lean 10 declarations
- Prime.lean 5 declarations
OAI/Computability/MaxCut/Arithmetic/16 declarations, 0 contain sorry, 0 declared as axioms; 3 files