OAI/Computability/MatchingCount/StackEmbed.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.BinaryMatching.StackCode.liftStore line 9
2. lemma OAI.BinaryMatching.StackCode.liftStore_at line 12
3. lemma OAI.BinaryMatching.StackCode.liftStore_outside line 20
4. lemma OAI.BinaryMatching.StackCode.liftStore_update line 25
5. lemma OAI.BinaryMatching.StackCode.liftStore_eq line 40
6. def OAI.BinaryMatching.StackCode.Instr.rename line 52
7. lemma OAI.BinaryMatching.StackCode.Instr.eval_rename line 58
8. lemma OAI.BinaryMatching.StackCode.Steps.rename line 71
9. def OAI.BinaryMatching.StackCode.Block.rename line 84
10. lemma OAI.BinaryMatching.StackCode.Block.rename_runs line 90