Skip to content
PR Review

fix(ProtocolSpec): prove the partial-transcript splitters and index equivalences for sequential composition (6 sorries removed) #902

Sign in to view logs

fix(ProtocolSpec): prove the partial-transcript splitters and index equivalences for sequential composition (6 sorries removed)

fix(ProtocolSpec): prove the partial-transcript splitters and index equivalences for sequential composition (6 sorries removed) #902

Triggered via issue July 13, 2026 17:08
@alexanderlhicksalexanderlhicks
commented on #641 2149367
Status Skipped
Total duration 8s
Artifacts –

review.yml

on: issue_comment
review
review
Fit to window
Zoom out
Zoom in