Experimentei. Apesar de alguns falsos positivos, 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, usarei novamente e recomendo altamente. @ben_golub