Skip to content

feat(formal): the trade-intent correspondence, and the proof that its forbidden shape is vacuous - #831

Merged
cryptskii merged 1 commit into
mainfrom
feat/formal-trade-intent-correspondence
Sep 10, 2026
Merged

feat(formal): the trade-intent correspondence, and the proof that its forbidden shape is vacuous#831
cryptskii merged 1 commit into
mainfrom
feat/formal-trade-intent-correspondence

feat(formal): the trade-intent correspondence, and the proof that its…

6e0361f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Analyze (javascript-typescript)
succeeded Sep 10, 2026 in 1m 18s