Skip to content

feat(book): shared counters across proof:* kinds (#34) - #40

Merged
mmcky merged 3 commits into
mainfrom
feat/book-proof-counter-share
May 22, 2026
Merged

feat(book): shared counters across proof:* kinds (#34)#40
mmcky merged 3 commits into
mainfrom
feat/book-proof-counter-share

chore: prettier format on buildResolvedCounterMap signature

26702b1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Testing with bun and node 20
succeeded May 22, 2026 in 2m 52s