You might have gotten it backwards. Proofs are essentially rooted trees
The details could be painful but having a birds eye view is always possible?
And having a machine compress it for human consumption, sounds very plausible (and which I think of as engineering)