mizar 0.0.1
A Mizar Console with Sophisticated Reasoning Support
Gemfile:
=
クリップボードにコピー
コピー完了!
インストール:
=
バージョン履歴:
- 0.0.1 - October 10, 2011 (3.5KB)
- 0.0.1.unfinished - October 10, 2011 (19.5KB)