広告
あなたのMacのための無料およびオープンソースのインタラクティブプルーフエディタ ...
編集 発展させる 証明エディタ プルーフアシスタント 証明を開発する
ダウンロード
ISABELLE - 数式を正式な言語で表現できるようにする一般的なプルーフアシスタント ...
アシスタント プルーフアシスタント 証拠 数学的証明を形式化する 正式な検証
私たちに関しては