Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny

(arxiv.org) by mrLSD-dev | Nov 6, 2025 | 0 comments on HN