Intenté. A pesar de algunos falsos positivos, encontró errores en las ecuaciones del modelo, muchas inconsistencias en la notación, muchas oportunidades para mejorar la claridad de la escritura y muchos otros detalles. Realmente es una herramienta asombrosa, la usaré de nuevo y la recomiendo encarecidamente. @ben_golub