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

math-lean

@Fisfzy

1 スター

概要

dsh-lean-prover: Leanカーネルで検証された数学推論プラグイン(DSH Cordis)です。

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

トピック

dshxleanmathproof-verification