Skip to content

Add Certora formal verification for GhoStewardV2 #54

Add Certora formal verification for GhoStewardV2

Add Certora formal verification for GhoStewardV2 #54

Annotations

2 warnings

verify (non-4626/otakar-FixedFeeStrategy.conf)

succeeded Mar 18, 2024 in 6m 5s