Yirmiuc / spass

automated theorem prover for first-order logic with equality



Diğer Pardus sürümlerindeki versiyonlar
Pardus Paket Versiyon
yirmibir spass 3.9-1.1