Ubuntu
atp package

atp source package in Noble

Versions published

There is no current release of this source package in The Noble Numbat. You can still report bugs, make translations, and so on, but they might not be used until the package is published.

atp information

No published releases of this package have been uploaded in Ubuntu Noble

Upstream connections

ATP ⇒ trunk

Programmed in c++, a modular resolution theorem prover with interfaces for UI, Refinements, Resolution algorithms and almost any component. Not built for optimization in speed.

Bug supervisor: yes
Bug tracker: no
Branch: no

There are no registered releases for the ATP ⇒ trunk.

Releases in Ubuntu

No releases are currently registered for this package.