Paket: eprover (2.6+ds-3)

[ Källkod: eprover  ]

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.

Andra paket besläktade med eprover

• dep: libc6 (>= 2.33)

  GNU C-bibliotek: Delade bibliotek
  också ett virtuellt paket som tillhandahålls av libc6-udeb

• dep: picosat (>= 959)

  SAT solver with proof and core support

Hämta eprover

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Paketstorlek	Installerad storlek	Filer
amd64	955,7 kbyte	11.346,0 kbyte	[filförteckning]
arm64	879,5 kbyte	12.089,0 kbyte	[filförteckning]
armel	718,9 kbyte	11.234,0 kbyte	[filförteckning]
armhf	689,6 kbyte	6.818,0 kbyte	[filförteckning]
i386	959,7 kbyte	11.130,0 kbyte	[filförteckning]
mips64el	982,5 kbyte	14.463,0 kbyte	[filförteckning]
mipsel	990,3 kbyte	14.316,0 kbyte	[filförteckning]
ppc64el	991,8 kbyte	14.521,0 kbyte	[filförteckning]
s390x	888,9 kbyte	13.735,0 kbyte	[filförteckning]