Skip to content

Add Certora formal verification for GhoStewardV2 #55

Add Certora formal verification for GhoStewardV2

Add Certora formal verification for GhoStewardV2 #55

Annotations

2 warnings

verify (non-4626/fees-buy.conf)

succeeded Mar 18, 2024 in 6m 56s