OAI/Computability/VertexCover/Machines/FinalCNFCorrect.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.VertexCover.Machine.FinalCNFMachine.rename_old line 45
2. theorem OAI.VertexCover.Machine.FinalCNFMachine.rename_fresh line 54
3. theorem OAI.VertexCover.Machine.FinalCNFMachine.event_correct line 67
4. theorem OAI.VertexCover.Machine.FinalCNFMachine.output_correct line 78
5. def OAI.VertexCover.Machine.FinalCNFMachine.poly line 93
6. def OAI.VertexCover.Machine.FinalCNFMachine.gapPoly line 97