Issues

• Simulate a RoseTreeMachine in a MultiTapeTM

  crei/cslib#173 · Filter by author crei opened on May 25, 2026

• this has a double toLeftEnd which is not needed.

  crei/cslib#167 · Filter by author github-actions opened on Apr 29, 2026

• upstream to Mathlib as a FinEnum instance for BitVec.

  crei/cslib#164 · Filter by author github-actions opened on Apr 29, 2026

• upstream to Mathlib — general BitVec XOR cancellation lemma.

  crei/cslib#163 · Filter by author github-actions opened on Apr 29, 2026

• Define an "update structure"

  crei/cslib#12 · Filter by author crei opened on Feb 26, 2026
  1

• Define a notion of evaluation that is always total and add the relevant composition theorems.

  crei/cslib#10 · Filter by author chriseth opened on Feb 23, 2026

• Lessons learnt

  crei/cslib#7 · Filter by author crei opened on Feb 21, 2026

• Change loop so that it can re-use existing tapes

  crei/cslib#5 · Filter by author crei opened on Feb 21, 2026