すべてのプラグインに戻る

jacobian

@morluto

40 スター

概要

agentのための純粋数学: 例や反例の探索、正確な計算、および結果が何を証明しているかの独立した検証を行います。

元言語から機械翻訳された説明です。

トピック

ai-agentsautomated-theorem-provingcomputer-algebracordisdshformal-methodsformal-verificationlean4