Comment by digitalice

Been following the development of Dafny: https://www.microsoft.com/en-us/research/project/dafny-a-lan...