``proof assistant''

Gödel didn't need a proof assistant, why do you? You'll never succeed in making maths entirely computable, automatable, never.

What makes you think we're all shitposting G�dels? We're dumb and we find proof assistants useful.