OAI/Computability/MinUncut/Encoding/SignatureEncoding.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MinUncut.Outer.LocalTemplate.signatureEquiv line 13
2. def OAI.MinUncut.Outer.LocalTemplate.signatureEncoding line 20
3. def OAI.MinUncut.Outer.LocalTemplate.signatureNumber line 25
4. lemma OAI.MinUncut.Outer.LocalTemplate.bool_code line 29
5. lemma OAI.MinUncut.Outer.LocalTemplate.signature_code line 31
6. def OAI.MinUncut.Outer.LocalTemplate.constantTable line 37
7. lemma OAI.MinUncut.Outer.LocalTemplate.lookupValue_mem line 40
8. lemma OAI.MinUncut.Outer.LocalTemplate.constantTable_lookup line 57
9. lemma OAI.MinUncut.Outer.LocalTemplate.constantTable_eval line 64