Categories: None [Edit]

rover_prover

https://rubygems.org/gems/rover_prover
First-Order Logic Theorem Prover

Total

Ranking: 131,294 of 186,698
Downloads: 4,505

Daily

Ranking: 69,102 of 186,685
Downloads: 5

Depended by

RankDownloadsName

Depends on

RankDownloadsName
12,900,560,356bundler
101,125,994,016rake
27908,151,619rspec
6,368741,997rltk

Owners

#GravatarHandle
1iconliwii