ProofPower の変更点

[ トップ ] [ 編集 | 差分 | バックアップ | 添付 | リロード ] [ 新規 | 一覧 | 検索 | 最終更新 | ヘルプ ]

追加された行はこの色です。
削除された行はこの色です。
ProofPower へ行く。

[[ICMS2010]]
- http://www.lemma-one.com/ProofPower/index/
- ProofPower is a suite of tools supporting specification and proof in Higher Order Logic ([[HOL]]) and in the Z notation.
- polyml が必要？


[[:not yet:]]