tüm seçenekler
[  bookworm  ] [  trixie  ] [  sid  ]
[ Kaynak: eprover  ]

Paket: eprover (3.1.0+ds-1 ve diğerleri)

eprover için bağlantılar

Screenshot

Debian Kaynakları:

eprover Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Benzer paketler:

Equational theorem prover

This package provides tools to prove equational theorems: from a mathematical specification in many-sorted first-order logic with equality and an hypothesis/conjecture, it will look for a proof.

eprover ile İlgili Diğer Paketler

  • bağımlılıklar
  • tavsiye edilen
  • önerilen
  • enhances

eprover indir

Tüm mevcut mimariler için indir
Mimari Sürüm Paket Boyutu Kurulu Boyut Dosyalar
alpha (resmi olmayan port) 3.1.0+ds-1 904,5 kB10.673,0 kB [dosya listesi]
amd64 3.1.0+ds-1 1.003,1 kB9.090,0 kB [dosya listesi]
arm64 3.1.0+ds-1 892,1 kB9.200,0 kB [dosya listesi]
armel 3.1.0+ds-1 689,1 kB7.600,0 kB [dosya listesi]
armhf 3.1.0+ds-1 702,8 kB5.688,0 kB [dosya listesi]
hppa (resmi olmayan port) 3.1.0+ds-1 804,4 kB8.236,0 kB [dosya listesi]
i386 3.1.0+ds-1 1.008,4 kB9.647,0 kB [dosya listesi]
ia64 (resmi olmayan port) 3.0.03+ds-1 1.492,3 kB22.244,0 kB [dosya listesi]
m68k (resmi olmayan port) 3.1.0+ds-1 647,9 kB7.006,0 kB [dosya listesi]
mips64el 3.1.0+ds-1 939,9 kB10.609,0 kB [dosya listesi]
ppc64 (resmi olmayan port) 3.1.0+ds-1 1.003,3 kB12.990,0 kB [dosya listesi]
ppc64el 3.1.0+ds-1 1.013,9 kB11.825,0 kB [dosya listesi]
riscv64 3.1.0+ds-1 967,8 kB7.781,0 kB [dosya listesi]
s390x 3.1.0+ds-1 920,6 kB10.451,0 kB [dosya listesi]
sh4 (resmi olmayan port) 3.1.0+ds-1 671,1 kB6.502,0 kB [dosya listesi]
sparc64 (resmi olmayan port) 3.1.0+ds-1 738,2 kB15.055,0 kB [dosya listesi]
x32 (resmi olmayan port) 3.1.0+ds-1 960,3 kB8.391,0 kB [dosya listesi]