OAI/Analysis/MatrixSigning/Machines/TerminalZeroVector.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.KS.W19.TerminalZeroVector.copyPorts line 13
  2. def OAI.KS.W19.TerminalZeroVector.unaryPorts line 14
  3. def OAI.KS.W19.TerminalZeroVector.zeroPorts line 15
  4. def OAI.KS.W19.TerminalZeroVector.copyProgram line 16
  5. def OAI.KS.W19.TerminalZeroVector.unaryProgram line 17
  6. def OAI.KS.W19.TerminalZeroVector.zeroProgram line 18
  7. def OAI.KS.W19.TerminalZeroVector.program line 19
  8. def OAI.KS.W19.TerminalZeroVector.ticks line 21
  9. theorem OAI.KS.W19.TerminalZeroVector.zero_vector_spec line 23