프로그램별 cs6725-prover.sf.net

자바에서 구현및 절 트리를 사용하여 구현 자동화 된 정리 Prover. 이 소프트웨어는 TPTP에서 수학 이론을 읽고 증명하거나 반증 할 수있을 것입니다.