OAI/Analysis/MatrixSigning/Arithmetic/SparseScalarNodes.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.KS.W19.SparseScalarNodes.divPorts line 13
  2. def OAI.KS.W19.SparseScalarNodes.divProgram line 14
  3. def OAI.KS.W19.SparseScalarNodes.divTicks line 16
  4. theorem OAI.KS.W19.SparseScalarNodes.scalar_division_spec line 19
  5. def OAI.KS.W19.SparseScalarNodes.divNode line 33
  6. def OAI.KS.W19.SparseScalarNodes.divNodeTicks line 35
  7. theorem OAI.KS.W19.SparseScalarNodes.divNode_spec line 38
  8. def OAI.KS.W19.SparseScalarNodes.coefficient line 49
  9. def OAI.KS.W19.SparseScalarNodes.put line 50
  10. def OAI.KS.W19.SparseScalarNodes.after line 51
  11. def OAI.KS.W19.SparseScalarNodes.program line 54
  12. def OAI.KS.W19.SparseScalarNodes.ticks line 59
  13. theorem OAI.KS.W19.SparseScalarNodes.coefficient_spec line 63