OAI/Computability/VertexCover/Machines/ParseSize.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.VertexCover.Machine.FormulaParser.frame_sound line 44
2. theorem OAI.VertexCover.Machine.FormulaParser.name_sound line 71
3. theorem OAI.VertexCover.Machine.FormulaParser.literal_sound line 86
4. theorem OAI.VertexCover.Machine.FormulaParser.clause_sound line 101
5. theorem OAI.VertexCover.Machine.FormulaParser.clause_code_bound line 121
6. def OAI.VertexCover.Machine.FormulaParser.rawLength line 127