The Vampire Theorem Prover

Резюме проекта "The Vampire Theorem Prover": "The Vampire Theorem Prover" - это открытый проект, который может быть полезен в сценариях, когда требуется автомат