Issues · verse-lab/loom2 · GitHub

Labels Milestones New issue

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

#12

· astefano opened

on Jun 4, 2026

`lean-toolchain` pins `master`, which elan cannot resolve

#10

· astefano opened

on Jun 4, 2026

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

#8

· astefano opened

on Jun 4, 2026

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

#6

· astefano opened

on Jun 4, 2026