Пакет: eprover (3.0.03+ds-1) [debports]

[ Источник:  ]

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

• dep: libc6.1 (>= 2.37)

  библиотека GNU C: динамически подключаемые библиотеки
  также виртуальный пакет, предоставляемый libc6.1-udeb

• dep: picosat (>= 959)

  SAT solver with proof and core support

Загрузка eprover

Загрузить для всех доступных архитектур

Архитектура	Размер пакета	В установленном виде	Файлы
ia64 (неофициальный перенос)	1 492,3 Кб	22 244,0 Кб	[список файлов]