OAI/Analysis/MatrixSigning/Matrices/PivotRowBody.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.KS.W17.PivotRowBody.incrementPorts line 13
  2. def OAI.KS.W17.PivotRowBody.zeroProgram line 14
  3. def OAI.KS.W17.PivotRowBody.foundProgram line 16
  4. def OAI.KS.W17.PivotRowBody.select line 18
  5. def OAI.KS.W17.PivotRowBody.branch line 20
  6. def OAI.KS.W17.PivotRowBody.after line 22
  7. theorem OAI.KS.W17.PivotRowBody.branch_spec line 26
  8. def OAI.KS.W17.PivotRowBody.program line 65
  9. def OAI.KS.W17.PivotRowBody.ticks line 67
  10. theorem OAI.KS.W17.PivotRowBody.full_spec line 70