OAI/Analysis/MatrixSigning/Machines/SchurReadStage.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.KS.W07.SchurReadStage.readPorts line 13
  2. def OAI.KS.W07.SchurReadStage.reader line 14
  3. def OAI.KS.W07.SchurReadStage.WorkClear line 16
  4. def OAI.KS.W07.SchurReadStage.readPrepared line 18
  5. theorem OAI.KS.W07.SchurReadStage.reader_spec line 21
  6. def OAI.KS.W07.SchurReadStage.copyPorts line 60
  7. def OAI.KS.W07.SchurReadStage.copyProgram line 66
  8. theorem OAI.KS.W07.SchurReadStage.copy_spec line 70
  9. def OAI.KS.W07.SchurReadStage.rowSource line 78
  10. def OAI.KS.W07.SchurReadStage.colSource line 79
  11. def OAI.KS.W07.SchurReadStage.prepare line 81
  12. def OAI.KS.W07.SchurReadStage.prepareTicks line 88
  13. theorem OAI.KS.W07.SchurReadStage.prepare_spec line 92
  14. def OAI.KS.W07.SchurReadStage.destination line 114
  15. theorem OAI.KS.W07.SchurReadStage.destination_ne_core line 116
  16. def OAI.KS.W07.SchurReadStage.program line 123
  17. theorem OAI.KS.W07.SchurReadStage.full_spec line 126