Ondokuz / prover9-doc

documentation for Prover9 and associated programs

•     Debian QA Group
•     [email protected]
•     http://www.cs.unm.edu/~mccune/mace4/
•     0.0.200902a-2
•     prover9-doc_0.0.200902a-2_all.deb
•     946.3 KiB
•     doc
•     all
•      prover9-manual_0.0.200902a-2.debian.tar.gz
            prover9-manual_0.0.200902a-2.dsc
            prover9-manual_0.0.200902a.orig.tar.gz
•     Debian Versiyonu: 0.0.200902a-2
•     documentation for Prover9 and associated programs

Diğer Pardus sürümlerindeki versiyonlar