If you allow that, proofs made using proof assistants prove every property they present.

And of course, Principia Mathematica (https://en.wikipedia.org/wiki/Principia_Mathematica) is a non-computer example.

Both get tedious fast if you try to understand a proof from the axioms up. That’s why you’ll rarely find a publication starting from almost zero.