Categories: None [Edit]

rover_prover

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

Total

Ranking: 131,146 of 186,954
Downloads: 4,577

Daily

Ranking: 63,166 of 186,947
Downloads: 4

Depended by

RankDownloadsName

Depends on

RankDownloadsName
12,937,224,863bundler
101,139,617,007rake
27914,083,740rspec
6,363753,985rltk

Owners

#GravatarHandle
1iconliwii