Yirmiuc / metamath

Language for mathematical proofs

•     Giovanni Mascellani
•     [email protected]
•     http://us.metamath.org/
•     0.195-1
•     metamath_0.195-1_amd64.deb
•     335.6 KiB
•     math
•     amd64
•      metamath_0.195-1.debian.tar.xz
            metamath_0.195-1.dsc
            metamath_0.195.orig.tar.gz
•     Debian Versiyonu: 0.195-1
•     Language for mathematical proofs

Diğer Pardus sürümlerindeki versiyonlar