Carine

CARINE

CARINE is a first-order classical logic automated theorem prover.

Read more about Carine.