Ondokuz / prover9-doc

documentation for Prover9 and associated programs



Diğer Pardus sürümlerindeki versiyonlar
Pardus Paket Versiyon
yirmibir prover9-doc 0.0.200902a-2.1
yirmiuc prover9-doc 0.0.200902a-2.1