I like your point about feedback. That's how I describe my difficulties with proofs, too. There is no way of knowing a proof is right without knowing it's right. (Or maybe I am just missing the point)

I will look into Lean that is mentioned here.