I’ve just completed the Formal Verification course by @cyfrin! As always, the material was top-notch and incredibly valuable. Starting today, I’m already putting the newly gained knowledge into practice! https://profiles.cyfrin.io/u/ramilmustafin33/achievements/formal-verification