Issues

• this should be

  crei/cslib#196 · Filter by author github-actions opened on Oct 11, 2026

• this should be

  crei/cslib#195 · Filter by author github-actions opened on Oct 11, 2026

• this should

  crei/cslib#194 · Filter by author github-actions opened on Oct 11, 2026

• this should

  crei/cslib#193 · Filter by author github-actions opened on Oct 11, 2026

• upstream this generalisation of Mathlib's smulCommClass_self, which applies only to

  crei/cslib#192 · Filter by author github-actions opened on Oct 11, 2026

• upstream this generalisation of Mathlib's smulCommClass_self, which applies only to

  crei/cslib#191 · Filter by author github-actions opened on Oct 11, 2026

• develop an attribute to dualize theorems to the converse of a relation

  crei/cslib#190 · Filter by author github-actions opened on Oct 11, 2026

• adapt topNamespace to the module system

  crei/cslib#189 · Filter by author github-actions opened on Oct 11, 2026

• 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

• 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