OAI/NumberTheory/SingleFold/CounterRecords.lean

GitHub source file

29 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.SingleFold.Packed.digit_init line 6
  2. lemma OAI.SingleFold.Packed.digit_add line 14
  3. lemma OAI.SingleFold.Counter.System.selected_pack line 29
  4. lemma OAI.SingleFold.Counter.System.incoming_selected line 40
  5. lemma OAI.SingleFold.Counter.System.inc_selected line 43
  6. lemma OAI.SingleFold.Counter.System.dec_selected line 50
  7. lemma OAI.SingleFold.Counter.System.counter_update line 56
  8. lemma OAI.SingleFold.Counter.System.state_initial line 81
  9. lemma OAI.SingleFold.Counter.System.state_step line 85
  10. lemma OAI.SingleFold.Counter.System.clock_update line 89
  11. lemma OAI.SingleFold.Counter.System.clock_digits line 109
  12. lemma OAI.SingleFold.Counter.System.clock_final line 113
  13. lemma OAI.SingleFold.Packed.digit_power line 119
  14. lemma OAI.SingleFold.Counter.System.arc_state_bits line 133
  15. lemma OAI.SingleFold.Counter.System.arc_digit_le line 143
  16. lemma OAI.SingleFold.Counter.System.selected_at_state line 147
  17. lemma OAI.SingleFold.Counter.System.halt_digit line 158
  18. lemma OAI.SingleFold.Counter.System.test_partition line 163
  19. lemma OAI.SingleFold.Counter.System.complement_pack line 178
  20. lemma OAI.SingleFold.Counter.System.zero_branch_forces line 191
  21. lemma OAI.SingleFold.Counter.System.select_inc line 214
  22. lemma OAI.SingleFold.Counter.System.select_test line 220
  23. lemma OAI.SingleFold.Counter.System.inc_values line 228
  24. lemma OAI.SingleFold.Counter.System.test_values line 245
  25. lemma OAI.SingleFold.Counter.System.test_choice line 264
  26. lemma OAI.SingleFold.Counter.System.decode line 283
  27. lemma OAI.SingleFold.Counter.System.haltsAt line 347
  28. lemma OAI.SingleFold.Counter.System.branch_digits line 364
  29. lemma OAI.SingleFold.Counter.system_unique line 389