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

1 points | by mrLSD-dev 5 hours ago