ส่งซอฟต์แวร์

โปรแกรมตาม cs6725-prover.sf.net

  • UNB Theorem Prover? ฟรี

    เครื่องพิสูจน์ทฤษฎีบทอัตโนมัติถูกนํามาใช้ใน Java และใช้ต้นไม้อนุประโยค ซอฟต์แวร์นี้จะสามารถอ่านทฤษฎีคณิตศาสตร์จาก TPTP และพิสูจน์หรือทําลายพวกเขา