Skip to content

feat: Add Certora formal verification for GhoStewardV2 (#395) #60

feat: Add Certora formal verification for GhoStewardV2 (#395)

feat: Add Certora formal verification for GhoStewardV2 (#395) #60

Annotations

2 warnings

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

succeeded Mar 20, 2024 in 11m 4s