OAI/Analysis/MatrixSigning/Encoding/UnsignedPairSerializer.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.KS.W19.UnsignedPairSerializer.registers line 12
  2. theorem OAI.KS.W19.UnsignedPairSerializer.registers_port line 16
  3. theorem OAI.KS.W19.UnsignedPairSerializer.registers_other line 22
  4. def OAI.KS.W19.UnsignedPairSerializer.wire line 27
  5. theorem OAI.KS.W19.UnsignedPairSerializer.wire_length line 29
  6. def OAI.KS.W19.UnsignedPairSerializer.emitProgram line 33
  7. def OAI.KS.W19.UnsignedPairSerializer.reverseProgram line 36
  8. def OAI.KS.W19.UnsignedPairSerializer.program line 39
  9. theorem OAI.KS.W19.UnsignedPairSerializer.emit_spec line 42
  10. theorem OAI.KS.W19.UnsignedPairSerializer.reverse_spec line 67
  11. theorem OAI.KS.W19.UnsignedPairSerializer.serialize_spec line 91