⬢
RubyGems
Navigation menu
gemを検索...
Releases
ブログ
Gems
ガイド
サインイン
新規登録
rover_prover
0.1.1
First-Order Logic Theorem Prover
Gemfile:
=
クリップボードにコピー
コピー完了!
インストール:
=
バージョン履歴:
0.1.1
- August 02, 2019
(92KB)
0.1.0
- June 24, 2019
(47.5KB)
Runtime依存関係 (1):
rltk
>= 0
Development依存関係 (3):
bundler
~> 2.0
rake
~> 10.0
rspec
>= 0
全ての推移的な依存関係を表示
所有者:
プッシュ者:
作者:
Koki Ryu
SHA 256チェックサム:
c024c66b68685d3f42c326b40deb6e4c49b62fb95a52d6120fa13ccccefe2574
←前のバージョン
累計ダウンロード数
4,184
このバージョンのみ
2,393
ライセンス:
MIT
必要なRubyのバージョン:
>= 0
リンク:
ホームページ
ドキュメント
ダウンロード
差分をレビュー
バッジ
購読
RSS
悪用報告
被依存関係
Adoption