ログインしてさらにmixiを楽しもう

コメントを投稿して情報交換！
更新通知を受け取って、最新情報をゲット！

形式手法コミュの何か話題を提供するというのは如何ですか？

ログインして参加する

  • mixiチェック
  • このエントリーをはてなブックマークに追加

何か話題を提供するというのは如何ですか？

mixiユーザー 2008年07月25日 23:40

皆様、

あまりにも何の議論もありません。もっと活発にするために、各自、興味を持っていることについて議論するのは如何でしょうか？

現在、Zの証明に興味があります。これまでは Z/Eves を利用していました。ただ、 Z/Eves は Ora Canada がつぶれたので、ライセンスの問題があり中々公には使えない状態です。Z/Eves は今でも L. Freitas (York Uni) が利用していますが（Grand Challenge がらみです）、彼がライセンスをオープンにするように交渉したようですが、うまく行っていないようです。

現在、HOL-Z に興味があります。使われた方はいらっしゃいますか？

コメント(0)

mixiユーザー
ログインしてコメントしよう！

形式手法 更新情報

形式手法のメンバーはこんなコミュニティにも参加しています

星印の数は、共通して参加しているメンバーが多いほど増えます。

形式手法

人気コミュニティランキング

困ったときには

関連ワード

mixiで趣味の話をしよう
新規登録（無料）

このページの上部へ