I have become interested in Dafny after reading about how they are making an effort to reduce annotations[0]. [0]: https://arxiv.org/abs/1706.04023 https://arx

I have become interested in Dafny after reading about how they are making an effort to reduce annotations[0]. [0]: https://arxiv.org/abs/1706.04023 https://arxiv.org/abs/1706.04023