Paket: eprover (3.2.5+ds-1) [debports]

[ Kaynak:  ]

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

• dep: libc6 (>= 2.34)

  GNU C Library: Shared libraries
  ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb

• dep: picosat (>= 959)

  SAT solver with proof and core support

eprover indir

Tüm mevcut mimariler için indir

Mimari	Paket Boyutu	Kurulu Boyut	Dosyalar
ppc64 (resmi olmayan port)	1.008,0 kB	13.055,0 kB	[dosya listesi]