Paketti: prover9-doc (0.0.200902a-2.1)

Links for prover9-doc

Trisquel-palvelut:

Install using apturl
Entry at directory.fsf.org
Vikailmoitukset
Changelog
Tekijänoikeustiedosto

Imuroi lähdekoodipaketti prover9-manual:

[prover9-manual_0.0.200902a-2.1.dsc]
[prover9-manual_0.0.200902a.orig.tar.gz]
[prover9-manual_0.0.200902a-2.1.debian.tar.xz]

Ylläpitäjä:

Debian QA Group

Original Maintainer:

Debian QA Group

External Resources:

Kotisivu [www.cs.unm.edu]

Samankaltaisia paketteja:

libladr4
ladr4-apps
libladr-dev
prover9-mace4
alt-ergo
spass
libcvc4-7
libcvc4-5
libcvc4-4
libcvc4parser7
libcvc4parser5

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.

Muut pakettiin prover9-doc liittyvät paketit

depends

recommends

suggests

sug: ladr4-apps

Paketti ei saatavilla
sug: prover9

Paketti ei saatavilla
sug: python

Paketti ei saatavilla

Imuroi prover9-doc

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
all	837.2 kt	3183 kt	[tiedostoluettelo]

Sections