Пакет: prover9-doc (0.0.200902a-2)

[ Източник: prover9-manual  ]

documentation for Prover9 and associated programs

Prover9 is an automated theorem prover for first-order and equational logic. It is a successor of the Otter prover. Prover9 uses the inference techniques of ordered resolution and paramodulation with literal selection.

This package provides documentation for Prover9, Mace4 and other associated programs.

Етикети: Made Of: HTML, Hypertext Markup Language, PDF Documents, Role: Документация

Други пакети, свързани с prover9-doc

• sug: ladr4-apps

  the LADR deduction library, miscellaneous applications

• sug: prover9

  theorem prover and countermodel generator

• sug: python

  interactive high-level object-oriented language (Python2 version)

Изтегляне на prover9-doc

Изтегляне за всички налични архитектури

Архитектура	Големина на пакета	Големина след инсталиране	Файлове
all	946,3 кБ	3 118,0 кБ	[списък на файловете]