Package: eprover (3.1.0+ds-1)

[ Source: eprover  ]

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

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	1,003.1 kB	9,090.0 kB	[list of files]