Yirmibes / eprover

Equational theorem prover

•     Debian Math Team
•     team+math@tracker.debian.org
•     https://eprover.org
•     3.2.5+ds-1
•     eprover_3.2.5+ds-1_amd64.deb
•     1021.5 KiB
•     math
•     amd64
•      eprover_3.2.5+ds-1.debian.tar.xz
            eprover_3.2.5+ds-1.dsc
            eprover_3.2.5+ds.orig.tar.xz
•     Debian Versiyonu: 3.2.5+ds-1
•     Equational theorem prover

Diğer Pardus sürümlerindeki versiyonlar