Paket: eprover (2.6+ds-3)

[ Kaynak: 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.

eprover ile İlgili Diğer Paketler

• dep: libc6 (>= 2.33)

  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
armhf	689,6 kB	6.818,0 kB	[dosya listesi]