2 ms·It's more like the predecessor to Dafny, which is still research-oriented.by nextos 3y agoIt's more like the predecessor to Dafny, which is still research-oriented.