Yirmibes / gappa

Automatic generation of proofs of arithmetic properties

•     Debian Math Team
•     team+math@tracker.debian.org
•     https://gappa.gitlabpages.inria.fr
•     1.6.0-1
•     gappa_1.6.0-1_amd64.deb
•     441.5 KiB
•     math
•     amd64
•      gappa_1.6.0-1.debian.tar.xz
            gappa_1.6.0-1.dsc
            gappa_1.6.0.orig.tar.bz2
•     Debian Versiyonu: 1.6.0-1
•     Automatic generation of proofs of arithmetic properties

Diğer Pardus sürümlerindeki versiyonlar