All Questions
1 question
4
votes
0
answers
78
views
Verify maximal diameter of a tree in Dafny
I am trying to learn formal methods and have been learning Dafny and practicing by verifying Leetcode problems.
I have gotten stuck on this one. https://leetcode.com/problems/diameter-of-binary-tree/...
- 181