Skip to content

[Certora] prove supply/withdraw loses at most 1 asset when share price <= 1 - #788

Open
claude[bot] wants to merge 10 commits into
mainfrom
claude/certora-supply-loss-bound-price-below-one
Open

[Certora] prove supply/withdraw loses at most 1 asset when share price <= 1#788
claude[bot] wants to merge 10 commits into
mainfrom
claude/certora-supply-loss-bound-price-below-one

certora: restrict the withdraw loss bound to by-assets and drop the h…

83184f2
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar