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