Comment by nerdponx

I do not understand why mathematicians look down on proof assistants. I've heard this claim multiple times and it continues to make no sense to me.

Are there any mathematicians here who can weigh in?