Skip to content

Encode a checked sequence operation as its total twin - #1483

Open
kondylidou wants to merge 15 commits into
strata-org:mainfrom
kondylidou:fix/seq-checked-total-symbol
Open

Encode a checked sequence operation as its total twin#1483
kondylidou wants to merge 15 commits into
strata-org:mainfrom
kondylidou:fix/seq-checked-total-symbol

Merge branch 'main' into fix/seq-checked-total-symbol

702a295
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
Build and test Lean (stable)
succeeded Oct 28, 2026 in 27m 50s