OAI/Combinatorics/ContingencyTables/Dense/DenseOffsetSemantics.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

The binary offset program computes the geometric free matrix

  1. lemma OAI.ContingencyTables.DensePrograms.gridCellWidth_code line 14
  2. lemma OAI.ContingencyTables.DensePrograms.offsetBits_code line 26
  3. lemma OAI.ContingencyTables.DensePrograms.offsetFreeEntry_code line 38
  4. lemma OAI.ContingencyTables.DensePrograms.offsetRow_code line 47
  5. theorem OAI.ContingencyTables.DensePrograms.offsetMatrix_code line 65