⬢
RubyGems
Navigation menu
搜尋 Gems…
Releases
部落格
Gems
教學文件
登入
註冊
rover_prover
0.1.1
First-Order Logic Theorem Prover
Gemfile:
=
複製
已複製
安裝:
=
版本列表:
0.1.1
- August 02, 2019
(92.0 KB)
0.1.0
- June 24, 2019
(47.5 KB)
Runtime 相依性套件 (1):
rltk
>= 0
Development 相依性套件 (3):
bundler
~> 2.0
rake
~> 10.0
rspec
>= 0
Show all transitive dependencies
擁有者:
Pushed by:
作者:
Koki Ryu
SHA 256 checksum:
c024c66b68685d3f42c326b40deb6e4c49b62fb95a52d6120fa13ccccefe2574
← Previous version
總下載次數
4,169
這個版本
2,384
License:
MIT
Ruby 版本需求:
>= 0
相關連結:
首頁
文件
下載
Review changes
徽章
訂閱
RSS
舉報投訴
反向依賴
Adoption