OAI/Analysis/MatrixSigning/Matrices/PivotDecisionMachine.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.KS.W17.PivotDecision.zeroProgram line 9
  2. def OAI.KS.W17.PivotDecision.returnProgram line 11
  3. def OAI.KS.W17.PivotDecision.select line 13
  4. def OAI.KS.W17.PivotDecision.dispatch line 15
  5. def OAI.KS.W17.PivotDecision.program line 17
  6. def OAI.KS.W17.PivotDecision.result line 19
  7. def OAI.KS.W17.PivotDecision.rowTicks line 25
  8. def OAI.KS.W17.PivotDecision.ticks line 29
  9. theorem OAI.KS.W17.PivotDecision.full_spec line 32