Skip to content
Sections
>> Trisquel >> Paketler >> nabia >> doc >> prover9-doc
etiona  ] [  nabia  ] [  aramo  ]
[ Kaynak: prover9-manual  ]

Paket: prover9-doc (0.0.200902a-2)

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.

prover9-doc ile İlgili Diğer Paketler

  • bağımlılıklar
  • tavsiye edilen
  • önerilen
  • sug: ladr4-apps
    Paket mevcut değil
  • sug: prover9
    Paket mevcut değil
  • sug: python
    Paket mevcut değil

prover9-doc indir

Tüm mevcut mimariler için indir
Mimari Paket Boyutu Kurulu Boyut Dosyalar
all 944,0 kB3119 kB [dosya listesi]