OAI/Computability/VertexCover/Encoding/
170 declarations, 0 contain sorry, 0 declared as axioms; 9 files
Files
- BinaryEncoding.lean 37 declarations
- BinaryFormula.lean 8 declarations
- FinalCNFPattern.lean 23 declarations
- FormulaEncoding.lean 12 declarations
- GameEncoding.lean 28 declarations
- MachineComposition.lean 12 declarations
- MachineEmbedding.lean 14 declarations
- Runtime.lean 13 declarations
- Serialization.lean 23 declarations