Search results

this has a double toLeftEnd which is not needed.

Status: Open.

#167 In crei/cslib;

· github-actions opened on Apr 29, 2026

upstream to Mathlib as a FinEnum instance for BitVec.

Status: Open.

#164 In crei/cslib;

· github-actions opened on Apr 29, 2026

upstream to Mathlib — general BitVec XOR cancellation lemma.

Status: Open.

#163 In crei/cslib;

· github-actions opened on Apr 29, 2026

Define an "update structure"

Status: Open.

#12 In crei/cslib;

· crei opened on Feb 26, 2026

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

Status: Open.

#10 In crei/cslib;

· chriseth opened on Feb 23, 2026

Lessons learnt

Status: Open.

#7 In crei/cslib;

· crei opened on Feb 21, 2026

Change loop so that it can re-use existing tapes

Status: Open.

#5 In crei/cslib;

· crei opened on Feb 21, 2026