Gödel didn't need a proof assistant, why do you? You'll never succeed in making maths entirely computable, automatable, never.
Name:
Anonymous2014-06-02 1:27
>>26 That only makes my superiority more embarrassing for yourself. You have been replaced by a machine whose fundamental operations are arithmetic and conditional branching.