Good homework feedback for a proof isn't "Did you get this right?", it's "Why did you not get this right?" or "How can we make your correct solution better?", neither of which fall out of a Lean translation-and-verification pass.