rover_prover 0.1.1
First-Order Logic Theorem Prover
Gemfile:
=
Copiar al portapapeles
¡Copiado!
instalar:
=
dependencias de Runtime (1):
rltk
>= 0