UbuntuUpdates.org

Package "prover9-doc"

Name: prover9-doc

Description:

documentation for Prover9 and associated programs

Latest version: 0.0.200902a-2.1
Release: oracular (24.10)
Level: base
Repository: universe
Head package: prover9-manual
Homepage: http://www.cs.unm.edu/~mccune/mace4/

Links


Download "prover9-doc"


Other versions of "prover9-doc" in Oracular

No other version of this package is available in the Oracular release.

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates