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