Search results

Define the product of two LTSs

Status: Open.

#388 In leanprover/cslib;

· ayberkt opened on Mar 2, 2026

Define the category of LTSs

Status: Open.

#387 In leanprover/cslib;

· ayberkt opened on Mar 2, 2026

<code>lake test</code> does not respect <code>--iofail --wfail</code>

Status: Open.

#380 In leanprover/cslib;

· chenson2018 opened on Feb 27, 2026

remove <code>h_mono</code> 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

Custom setoid on lists cannot use the <code>\~~</code> notation.

Status: Open.

#352 In leanprover/cslib;

· ctchou opened on Feb 18, 2026

fix proof to work with backward.isDefEq.respectTransparency

Status: Open.

#351 In leanprover/cslib;

· github-actions opened on Feb 18, 2026

fix proof to work with backward.isDefEq.respectTransparency

Status: Open.

#350 In leanprover/cslib;

· github-actions opened on Feb 18, 2026

fix proof to work with backward.isDefEq.respectTransparency

Status: Open.

#349 In leanprover/cslib;

· github-actions opened on Feb 18, 2026

fix proof to work with backward.isDefEq.respectTransparency

Status: Open.

#348 In leanprover/cslib;

· github-actions opened on Feb 18, 2026

fix proof to work with backward.isDefEq.respectTransparency

Status: Open.

#347 In leanprover/cslib;

· github-actions opened on Feb 18, 2026