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:]]
終了行:
[[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:]]
ページ名: