This is your work, valued

Vampire First-Order Theorem Prover

Advanced
@vprover
vprover.org/