Dafny Learning the program verification language Dafny. Various leetcode problems and other algorithms of personal interest.