Skip to content

Add TLA+, Z3 and CBMC specs for the lease, allocator and ring span arithmetic - #153

Closed
claude[bot] wants to merge 6 commits into
mainfrom
claude/formal-specs
Closed

Add TLA+, Z3 and CBMC specs for the lease, allocator and ring span arithmetic#153
claude[bot] wants to merge 6 commits into
mainfrom
claude/formal-specs

Commits

  1. Commits on Sep 28, 2026