Skip to content

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

Merged
mikemaccana merged 3 commits into
mainfrom
claude/options-trading-platform-iq6e8m
Sep 8, 2026
Merged

finance/options: fully collateralized options venue in Anchor v2, Anchor v1, and Quasar, with Kani proofs#139
mikemaccana merged 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