iProver-Eq: An Instantiation-Based Theorem Prover with Equality.

Konstantin Korovin, Christoph Sticksel

Browse the full CADE paper archive.