证明审计

检测第三方数学证明与推导中的逻辑漏洞、循环论证及无效步骤，需结合证据账本使用。