Search results

Bumping mathlib to 6cf3ab1 would break the build

Status: Open.

#533 In leanprover/cslib;

· mathlib-nightly-testing opened on Apr 30, 2026

Bumping mathlib to 6cf3ab1 would break the build

dependency-incompatibilityAutomated tracker opened by downstream-reportsAutomated tracker opened by downstream-reports

Status: Open.

#531 In leanprover/cslib;

· github-actions opened on Apr 29, 2026

upstream to Mathlib as a FinEnum instance for BitVec.

Status: Open.

#494 In leanprover/cslib;

· github-actions opened on Apr 15, 2026

upstream to Mathlib — general BitVec XOR cancellation lemma.

Status: Open.

#493 In leanprover/cslib;

· github-actions opened on Apr 15, 2026

feat: Mergesort Stability

Status: Open.

#438 In leanprover/cslib;

· Arleee1 opened on Mar 18, 2026

feat(CellularAutomata): One-Dimensional Cellular Automata for Language Recognition

Status: Open.

#407 In leanprover/cslib;

· hediet opened on Mar 8, 2026

timing of bump_toolchain_nightly-testing.yml

Status: Open.

#394 In leanprover/cslib;

· chenson2018 opened on Mar 3, 2026

Define the weak exponential of two LTSs

Status: Open.

#390 In leanprover/cslib;

· ayberkt opened on Mar 2, 2026

Define the product of two LTSs

Status: Open.

#388 In leanprover/cslib;

· ayberkt opened on Mar 2, 2026

remove h_mono assumption

Status: Open.

#378 In leanprover/cslib;

· github-actions opened on Feb 27, 2026

notation for multiple substitution

Status: Open.

#374 In leanprover/cslib;

· chenson2018 opened on Feb 26, 2026

Local EF games: extracting partial isomorphisms from bounded Duplicator wins

Status: Open.

#359 In leanprover/cslib;

· inaciovasquez2020 opened on Feb 20, 2026