Just a project for fun...
All problem solutions starting from 0001 are fully verified in Dafny 4.3.0.0.
I use Leetcode problems as a "test field" to play Dafny on. For each problem, I will give a basic solution for it, verified. I will write detailed comments, where I elaborate my strategy for both solving and verifying the problem. Typically there will also be a discussion section where I share what I've learned from the verification process, and perhaps keep on verifying "better-than-basic" solutions if applicable.
These comments are very readable! (Of course, I assume you are also a fan of Dafny; at least you know the syntax.)
If you want to try solving the problems by yourself, go to DIY branch.
There I have removed all implementation and verification code, leaving only the specifications.