OAI/Computability/PerfectCompleteness/Reduction/Target.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PerfectCompleteness.countSatisfied_le_length line 10
2. theorem OAI.PerfectCompleteness.countSatisfied_eq_length_iff line 19
3. theorem OAI.PerfectCompleteness.Instance.edgeCount_positive line 29
4. def OAI.PerfectCompleteness.PerfectlyComplete line 35
5. structure OAI.PerfectCompleteness.RationalThreshold line 38
6. def OAI.PerfectCompleteness.SoundAt line 44