FLEA

First order Logic with Equality theorem Attester (Library)