嘗試了。儘管有幾個誤報，但它發現了模型方程中的錯誤、許多符號不一致、改善寫作清晰度的許多機會，以及其他許多細節。真的是一個令人驚嘆的工具，我會再次使用並強烈推薦。 @ben_golub