Skip to content

finance/options: fully collateralized options venue in Anchor v2, Anchor v1, and Quasar, with Kani proofs - #139

Open
mikemaccana wants to merge 3 commits into
mainfrom
claude/options-trading-platform-iq6e8m
Open

finance/options: fully collateralized options venue in Anchor v2, Anchor v1, and Quasar, with Kani proofs#139
mikemaccana wants to merge 3 commits into
mainfrom
claude/options-trading-platform-iq6e8m

finance/options: say option, never lot or option account

d20f4dc
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar