OAI/Computability/VertexCover/Machines/ParseName.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.VertexCover.Machine.NameParser.canonical line 46
2. theorem OAI.VertexCover.Machine.NameParser.canonical_iff line 51
3. def OAI.VertexCover.Machine.NameParser.trans line 73
4. theorem OAI.VertexCover.Machine.NameParser.canon_scan line 75
5. def OAI.VertexCover.Machine.NameParser.canonicalPoly line 81
6. def OAI.VertexCover.Machine.NameParser.core line 85
7. def OAI.VertexCover.Machine.NameParser.corePoly line 88
8. def OAI.VertexCover.Machine.NameParser.poly line 102