Feb 25, 2025Inside Certora FV Contests: A Step-by-Step Guide Based on the Uniswap v4 ContestAlex Zoid
Feb 20, 2025First steps with Certora Formal Verification: Catching a Real Bug with a Universal 5-Line RuleAlex Zoid