Acredita que a verificação formal é apenas para doutores? Pense novamente.

@ChandrakanaNaN mostra como o Sunbeam da Certora torna a verificação de contratos inteligentes Soroban em @StellarOrg acessível para todos. 👇 https://t.co/UdsBbp6Usc