Yirmiuc / spass

automated theorem prover for first-order logic with equality

•     Debian Science Maintainers
•     [email protected]
•     http://www.mpi-inf.mpg.de/departments/automation-of-logic/software/spass-workbench/classic-spass-theorem-prover/
•     3.9-1.1
•     spass_3.9-1.1_amd64.deb
•     286.2 KiB
•     science
•     amd64
•      spass_3.9-1.1.debian.tar.xz
            spass_3.9-1.1.dsc
            spass_3.9.orig.tar.gz
•     Debian Versiyonu: 3.9-1.1
•     automated theorem prover for first-order logic with equality

Diğer Pardus sürümlerindeki versiyonlar