rover_prover 0.1.1
First-Order Logic Theorem Prover
Gemfile:
=
In die Zwischenablage kopieren
Kopiert!
installieren:
=
Runtime Abhängigkeiten (1):
rltk
>= 0