Yirmiuc / gappa

Automatic generation of proofs of arithmetic properties

•     Debian Math Team
•     [email protected]
•     https://gappa.gitlabpages.inria.fr
•     1.4.1-1
•     gappa_1.4.1-1_amd64.deb
•     425.4 KiB
•     math
•     amd64
•      gappa_1.4.1-1.debian.tar.xz
            gappa_1.4.1-1.dsc
            gappa_1.4.1.orig.tar.bz2
•     Debian Versiyonu: 1.4.1-1
•     Automatic generation of proofs of arithmetic properties