Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafnyhttps://arxiv.org/abs/2510.24798 by mrLSD-dev • 9 months ago 1 0 9 months agoARarxiv.org