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

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

cryptskii merged 1 commit into

maindeterministicstatemachine/dsm:mainfrom

feat/formal-trade-intent-correspondencedeterministicstatemachine/dsm:feat/formal-trade-intent-correspondenceCopy head branch name to clipboard