Пакунок: eprover (3.2.5+ds-1) [debports]

[ Source:  ]

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 (>= 2.34)

  Бібліотека GNU C: спільні бібліотеки
  also a virtual package provided by libc6-udeb

• dep: picosat (>= 959)

  SAT solver with proof and core support

Завантажити eprover

Завантаження для всіх доступних архітектур

Архітектура	Розмір пакунка	Розмір після встановлення	Файли
m68k (unofficial port)	649.3 kB	7,013.0 kB	[список файлів]