OAI/Combinatorics/ContingencyTables/Counting/CountingPublicAccuracy.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Transporting the concrete counting accuracy event to public machine tapes

  1. lemma OAI.ContingencyTables.CountingExecutedMachine.accurate_iff line 14
  2. theorem OAI.ContingencyTables.CountingExecutedMachine.public_success line 29