rover_prover 0.1.1
First-Order Logic Theorem Prover
Gemfile:
=
Copier
Copié!
installation:
=
Dépendances de Runtime (1):
rltk
>= 0