公式検証は博士課程の専売特許だと思っている？考え直してください。

@ChandrakanaNaNがCertoraのSunbeamがどのようにしてSorobanのスマートコントラクトの検証を@StellarOrgのすべての人にアクセス可能にしているかを説明しています。👇 https://t.co/UdsBbp6Usc