Isabelle

Isabelle

Isabelleは、コンピューターで数学的証明を作成および確認するための証明アシスタントです。
イザベルは、コンピューターで数学的な証明を書いたりチェックしたりするための証明アシスタントです。数式を形式言語で表現できるようにし、論理式でそれらの数式を証明するツールを提供します。
isabelle

カテゴリー

Web用のIsabelleに代わるオープンソースライセンス