English GKC Theorem Prover Cited by user Taneltammet on 15 Sep 2020 GKC is a high performance theorem prover for full first-order logic with equality developed by Tanel Tammet .