Proofs are not abstract. There is no such thing as abstractly proving something, just as there is no such thing as abstractly calculating or computing something. One can of course define a class of abstract entities and call them ‘proofs’, but those ‘proofs’ cannot verify mathematical statements because no one can see them.
