2013-06-11から1日間の記事一覧
HOL Light の g コマンドによる証明と prove コマンドによる証明との変換ツール Tactician のご紹介です.http://www.proof-technologies.com/tactician/index.html 使い方は簡単で,HOL Light のディレクトリにhttp://www.proof-technologies.com/tactician…
HOL Light の g コマンドによる証明と prove コマンドによる証明との変換ツール Tactician のご紹介です.http://www.proof-technologies.com/tactician/index.html 使い方は簡単で,HOL Light のディレクトリにhttp://www.proof-technologies.com/tactician…