2014年11月16日

Coqについて

実際に証明を書いてみた。

証明が読みづらすぎる。 Mizar のありがたさが分かった。
ただ、形式検証系としては、 Mizar よりは全然進んでるっぽい?
【技術の最新記事】
posted by Thought_Nibbler at 13:08| Comment(0) | 技術
この記事へのコメント
コメントを書く
お名前:

メールアドレス:

ホームページアドレス:

コメント: