OAI/Analysis/MatrixSigning/Machines/TerminalSparseAssembly.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.KS.W19.TerminalSparseAssembly.unaryPorts line 11
2. def OAI.KS.W19.TerminalSparseAssembly.unaryProgram line 12
3. def OAI.KS.W19.TerminalSparseAssembly.setOneProgram line 14
4. theorem OAI.KS.W19.TerminalSparseAssembly.setOne_spec line 17
5. def OAI.KS.W19.TerminalSparseAssembly.framePorts line 57
6. def OAI.KS.W19.TerminalSparseAssembly.frameProgram line 58
7. def OAI.KS.W19.TerminalSparseAssembly.headProgram line 59
8. def OAI.KS.W19.TerminalSparseAssembly.headTicks line 62
9. theorem OAI.KS.W19.TerminalSparseAssembly.head_spec line 67
10. def OAI.KS.W19.TerminalSparseAssembly.program line 102
11. def OAI.KS.W19.TerminalSparseAssembly.ticks line 104
12. theorem OAI.KS.W19.TerminalSparseAssembly.sparse_spec line 109