Paquet : eprover (3.2.5+ds-1)

[ 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.34)

  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	1 021,5 ko	9 238,0 ko	[liste des fichiers]
arm64	904,2 ko	9 327,0 ko	[liste des fichiers]
armel	697,8 ko	7 624,0 ko	[liste des fichiers]
armhf	712,8 ko	5 717,0 ko	[liste des fichiers]
i386	1 020,2 ko	9 767,0 ko	[liste des fichiers]
mips64el	952,7 ko	10 682,0 ko	[liste des fichiers]
ppc64el	1 012,3 ko	12 080,0 ko	[liste des fichiers]
riscv64	972,2 ko	7 780,0 ko	[liste des fichiers]
s390x	926,2 ko	10 499,0 ko	[liste des fichiers]