CV
Satallax
(Instantiation Based Higher-Order Automated Theorem Prover)
CASC