Paquet : eprover (2.6+ds-3)

[ Paquet source : 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.

Autres paquets associés à eprover

• dep: libc6 (>= 2.33)

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6-udeb

• dep: picosat (>= 959)

  solveur SAT avec gestion de démonstrations et « core »

Télécharger eprover

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	955,7 ko	11 346,0 ko	[liste des fichiers]
arm64	879,5 ko	12 089,0 ko	[liste des fichiers]
armel	718,9 ko	11 234,0 ko	[liste des fichiers]
armhf	689,6 ko	6 818,0 ko	[liste des fichiers]
i386	959,7 ko	11 130,0 ko	[liste des fichiers]
mips64el	982,5 ko	14 463,0 ko	[liste des fichiers]
mipsel	990,3 ko	14 316,0 ko	[liste des fichiers]
ppc64el	991,8 ko	14 521,0 ko	[liste des fichiers]
s390x	888,9 ko	13 735,0 ko	[liste des fichiers]