OAI/Computability/MinUncut/Encoding/RawGraphEncoding.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MinUncut.Costed.GraphRegisters.packDemand line 10
2. def OAI.MinUncut.Costed.GraphRegisters.packDemands line 12
3. lemma OAI.MinUncut.Costed.GraphRegisters.packed_addresses line 14
4. lemma OAI.MinUncut.Costed.GraphRegisters.canonicalLocal_iff line 29
5. lemma OAI.MinUncut.Costed.GraphRegisters.rawLocal_pack line 41
6. lemma OAI.MinUncut.Costed.GraphRegisters.rawCell_canonical line 47