Skip to content

verification: add P formal verification of the transport/session protocol - #418

Draft
cbrewster wants to merge 1 commit into
cbrewster/zero-state-reconnect-fixfrom
cbrewster/p-verification
Draft

verification: add P formal verification of the transport/session protocol#418
cbrewster wants to merge 1 commit into
cbrewster/zero-state-reconnect-fixfrom
cbrewster/p-verification

Commits

  1. Commits on Sep 30, 2026