---
name: "complex"
section: "1"
platform: "linux"
package: "ladr4-apps"
version: "0.0.200911a-2.1+b2"
release: "Debian 10 (Buster)"
platforms: ["linux"]
url: "https://new.carta.tech/ladr4-apps"
---

# complex(1)

undocumented LADR4 applications

Part of [ladr4-apps(1)](/ladr4-apps/1.md).

## NAME

ladr4-apps - undocumented LADR4 applications

## DESCRIPTION

Some programs in the **ladr4-apps** package currently have no manual pages.  You can obtain documentation on some of these applications via the **prover9** manual, which is available on Debian systems via the package *prover9-doc*, at */usr/share/doc/prover9-doc/manual/index.html*. Alternatively invoking the application with the **-help** option may produce documentation.  Patches to add manual pages are welcome, and may be sent to the Debian package maintainer, whose details are listed below.

## AUTHOR

The applications were written by William McCune \<mccune@cs.unm.edu\>.

This manual page was written by Peter Collingbourne \<peter@pcc.me.uk\>, for the Debian project (but may be used by others).