Skip to content

Settle how cead is built: spec, skeleton, fill - #10

Merged
1zeroone0 merged 1 commit into
mainfrom
build-method
Sep 28, 2026
Merged

Settle how cead is built: spec, skeleton, fill#10
1zeroone0 merged 1 commit into
mainfrom
build-method

Make the spec the first step and one method across TLA+, Lean and Rust

d86898f
Select commit
Loading
Failed to load commit list.

There are no checks for this commit