Skip to content

2.0.0-rc.12: Lauren's 6b78e9f, setup offers a formal verification skill, with TLA+ as its default for event order - #32

Merged
chhoumann merged 4 commits into
mainfrom
sync/f9be7aa
Oct 19, 2026
Merged

2.0.0-rc.12: Lauren's 6b78e9f, setup offers a formal verification skill, with TLA+ as its default for event order#32
chhoumann merged 4 commits into
mainfrom
sync/f9be7aa

Release 2.0.0-rc.12: point docs and notices at 6b78e9f

7054977
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar