Very complex logical arguments can be made from a lot of small logical steps. Computers are particularly good at working with complex logic but not all logical problems can be solved by computers. High-speed computers can examine the validity of some logical propositions for a very large number of cases, although that may not be a perfect proof.
No closely related standards have been identified.