the meaning of convenience in the passage

lily88888UID: 2828533

Proofs relying crucially on computers provide less certainty than do proofs not requiring computers. Human cognition alone cannot verify  computer-dependent proofs; such proofs can never provide the degree of certainty that attends our judgments concerning, for instance, simple arithmetical facts, which can be verified by human calculation. Of course, in these cases one often uses electronic calculators, but here the computer in a convenience rather than a supplement to human cognition.

duijinxiaoziUID: 2585955

in a convenience rather than a supplement
---------------------
Convenience：
something that is useful and can make things easier or quicker to do, or more comfortable.
便利的事物（或设施）；方便的用具