rover_prover 0.1.1
First-Order Logic Theorem Prover
Gemfile:
=
Copy to clipboard
Copied!
install:
=
Runtime Dependencies (1):
rltk
>= 0