all options
bookworm  ] [  trixie  ] [  sid  ]
[ Source: eprover  ]

Пакунок: eprover (2.6+ds-3)

Links for eprover

Screenshot

Debian Resources:

Download Source Package eprover:

Maintainers:

External Resources:

Similar packages:

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

  • depends
  • recommends
  • suggests
  • enhances

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

Завантаження для всіх доступних архітектур
Архітектура Розмір пакунка Розмір після встановлення Файли
armhf 689.6 kB6,818.0 kB [список файлів]