Atur cara mengikut cs6725-prover.sf.net
-
UNB Theorem Prover? Percuma
Peribahasa Teorem Automatik dilaksanakan di Jawa dan menggunakan pokok-pokok fasal. Perisian ini akan dapat membaca teorem matematik dari TPTP dan membuktikan atau menyangkalnya.
Peribahasa Teorem Automatik dilaksanakan di Jawa dan menggunakan pokok-pokok fasal. Perisian ini akan dapat membaca teorem matematik dari TPTP dan membuktikan atau menyangkalnya.