Package: eprover (3.2.5+ds-1) [debports]
Links for eprover
Debian Resources:
Download Source Package :
Not foundMaintainers:
External Resources:
- Homepage [eprover.org]
Similar packages:
Ligningsteorembeviser
Denne pakke tilbyder værktøjer til at bevise ligningsteoremer: fra en matematisk specifikation i mange-sorterede første-orden logik med lighed og en hypotese/formodning, vil pakken kigge efter et bevis.
Other Packages Related to eprover
|
|
|
|
-
- dep: libc6 (>= 2.34)
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
-
- dep: picosat (>= 959)
- SAT-løser med proof- og core-understøttelse
Download eprover
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
ppc64 (unofficial port) | 1,008.0 kB | 13,055.0 kB | [list of files] |