広告
ISABELLE - 数式を正式な言語で表現できるようにする一般的なプルーフアシスタント ...
アシスタント プルーフアシスタント 証拠 数学的証明を形式化する 正式な検証
ダウンロード
私たちに関しては