Ondokuz / minlog

Proof assistant based on first order natural deduction calculus



Diğer Pardus sürümlerindeki versiyonlar
Pardus Paket Versiyon
yirmibir minlog 4.0.99.20100221-7
yirmiuc minlog 4.0.99.20100221-7