Repository navigation

Add BB(6) stack, odometer, and transducer reductions and 20 open accelerations - #18

Merged

TomZahavy merged 5 commits into

mainfrom

bb6-bmo-accelerations

Oct 27, 2026

Merged

Add BB(6) stack, odometer, and transducer reductions and 20 open accelerations#18
TomZahavy merged 5 commits into
mainfrom
bb6-bmo-accelerations

Commits on Oct 26, 2026
- Add BB(6) stack, odometer, and transducer reductions and 20 open accelerations
  Tom Zahavy
  committed
  0636a6f
- Improve sequence notation, LaTeX rendering, and family overviews in Accelerations README
  Tom Zahavy
  committed
  632b7ec
- Add 13 higher-level Poincare accelerations in BusyBeaver/BB6/Accelerations
  Tom Zahavy
  committed
  abcdd53
- Fix GitHub MathJax delimiter and Kleene-star rendering in Accelerations README
  Tom Zahavy
  committed
  1c15434
- Tighten BB(6) stack, odometer, and transducer predicates and fix README counts/formulas
  Tom Zahavy
  committed
  d36c45f