OAI/Computability/MinUncut/Encoding/Binary.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.MinUncut.SourceBridge.BinaryReduction line 14
2. def OAI.MinUncut.SourceBridge.binaryReduction line 21
3. lemma OAI.MinUncut.SourceBridge.binaryReduction_exists line 29
4. lemma OAI.MinUncut.SourceBridge.binaryReduction_sound line 33
5. lemma OAI.MinUncut.SourceBridge.binaryReduction_complete line 45