¿Crees que la verificación formal es solo para doctores? Piénsalo de nuevo.

@ChandrakanaNaN explica cómo Sunbeam de Certora hace que la verificación de contratos inteligentes de Soroban en @StellarOrg sea accesible para todos. 👇 https://t.co/UdsBbp6Usc