Comment Comment by dannykwells Except that lean verification means that you really need to just verify the lean problem statement right? parent dannykwells 5 days ago
