At some point math becomes more about ideas and less about lower level details. Like you I don't write down my reasoning either and try to do exercises in my he

At some point math becomes more about ideas and less about lower level details. Like you I don't write down my reasoning either and try to do exercises in my head or verbally. So long as I get the idea behind the proof correctly, I am not worried about the lower level implementations.