OAI/Computability/MaxCut/
18295 declarations, 0 contain sorry, 0 declared as axioms; 372 files
Folders
- Analysis/ 2 files, 18 declarations
- Arithmetic/ 3 files, 16 declarations
- Encoding/ 48 files, 1235 declarations
- Estimates/ 15 files, 734 declarations
- Gadgets/ 2 files, 27 declarations
- Games/ 117 files, 5569 declarations
- Graphs/ 1 files, 11 declarations
- Machines/ 103 files, 6566 declarations
- PCP/ 78 files, 4083 declarations
Files
- Main.lean 4 declarations
- Model.lean 24 declarations
- Model2.lean 8 declarations