RubyGems
Blog
Stats
Docs
About
RubyGems.org
Status
Data
Security
Help
RubyGems
Blog
Stats
Docs
About
RubyGems.org
Status
Data
Security
Help
Sign in
Sign up
RubyGems
Profile
Edit profile
Settings
Sign out
Search Gems…
rover_prover
0.1.1 (latest)
Gem info
Dependencies
Gemfile
install
First-Order Logic Theorem Prover
Required Ruby Version
>= 0
Authors
Koki Ryu
Versions
0.1.1
August 02, 2019
(92 KB)
0.1.0
June 24, 2019
(47.5 KB)
Pushed by
liwii
SHA 256 checksum
← Previous version
