Package: eprover (3.0.03+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.1 (>= 2.37)
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6.1-udeb
-
- dep: picosat (>= 959)
- SAT-løser med proof- og core-understøttelse
Download eprover
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
ia64 (unofficial port) | 1,492.3 kB | 22,244.0 kB | [list of files] |