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/Alex-gho-gsm_inverse.conf)

succeeded Mar 18, 2024 in 10m 58s