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 
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!
2 Likes
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 =)