Tentei. Apesar de alguns falsos positivos, ele encontrou erros nas equações do modelo, muitas inconsistências de notação, muitas oportunidades para melhorar a clareza da escrita e muitos outros detalhes. Ferramenta verdadeiramente incrível, vou usar novamente e recomendo. @ben_golub