OAI/Analysis/MatrixSigning/Machines/FiniteDispatch.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.KS.W29.FiniteDispatch.decodeState line 11
2. def OAI.KS.W29.FiniteDispatch.decodeHeads line 14
3. def OAI.KS.W29.FiniteDispatch.decodeBit line 17
4. def OAI.KS.W29.FiniteDispatch.compile line 19
5. theorem OAI.KS.W29.FiniteDispatch.decodeState_index line 24
6. theorem OAI.KS.W29.FiniteDispatch.decodeHeads_index line 32
7. theorem OAI.KS.W29.FiniteDispatch.decodeBit_index line 41
8. theorem OAI.KS.W29.FiniteDispatch.lookup_compile line 55
9. theorem OAI.KS.W29.FiniteDispatch.step_compile line 65