Leanでブロックチェーンを形式検証する
from:
Clear–Prove Anything About Your Solidity Smart Contracts | by Nethermind | Nethermind.eth | Jul, 2024 | Medium