我的翻译:"Machine proof" also called "mechanization method" is searching for a mechanical method according to certain rules ,and often called "algorithm" in the modern, and the algorithm can be developed a program on the computer implementation, mathematics mechanization is mathematical theorems can be proved on the computer....
" Proving" also known as" mechanization method" is to find a basis for certain rules can follow the prescribed order mechanical manner in modern methods, often called " algorithm",...
mechanical blah blahmethod blah blah is blah blah....so fucking boring man~nobody's gonna do this shit for ya coz it's so damn lame!make sure you show people something in...