Hacker News new | ask | show | jobs
Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny (arxiv.org)
1 points by mrLSD-dev 223 days ago