Introduce Yourself

Welcome everybody, we’re happy to see this community growing.
Please make use of this medium, we will try to supply as much support as possible to allow you progress fast towards the using formal verification to evaluate contracts :slight_smile:

Hi Everyone,
I’m Jesserc. I’m a developer and researcher. I’m currently learning Cetora Prover and formal verification.
Happy to be here!

1 Like

Hey everyone, I am Yalexin, coming from Guangzhou China.
Thanks everyone at Certora for giving us this opportunity!


Hi all, I am Meek. Currently based in US. Looking to learn formal verication specs with certora for smart contract auditing. Happy to be here =)