E prover

E1997094 UNEXPLORED

E prover is a high-performance automated theorem prover for first-order logic with equality, widely used in interactive proof assistants and formal verification.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
E prover canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Sledgehammer → invokes → E prover ⓘ