Project

rover_prover

0.0
No release in over 3 years
rover_proverHomepageDocumentation
First-Order Logic Theorem Prover
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
 Popularity
Downloads
4,337
 Releases
Current version
0.1.1
Total releases
2
First release
2019-06-24
Latest release
2019-08-02
 Development
Licenses
MIT
Reverse Dependencies
0

 Dependencies

Development

bundler
~> 2.0
rake
~> 10.0
rspec
>= 0

Runtime

rltk
>= 0