All issues

Search results

--tstack=100000000 in lakefile.toml causes failed to create thread in CI

Status: Open.

#12 In verse-lab/loom2;

· astefano opened on Jun 4, 2026

lean-toolchain pins master, which elan cannot resolve

Status: Open.

#10 In verse-lab/loom2;

· astefano opened on Jun 4, 2026

CI workflow is under workflows/ instead of .github/workflows/, so it never runs

Status: Open.

#8 In verse-lab/loom2;

· astefano opened on Jun 4, 2026

Redundant OptionT.run simp argument in Loom/WP/Lemmas.lean

Status: Open.

#6 In verse-lab/loom2;

· astefano opened on Jun 4, 2026