Introduction
User Guide
1.
Installation
2.
Quick Start
Reference Guide
3.
Command Line Tool
3.1.
translate
3.2.
verify
3.3.
analyze
4.
Input File Format
4.1.
Program (.lp)
4.2.
Specification (.spec)
4.3.
User Guide (.ug)
4.4.
Proof Outline (.po)
5.
Output File Format
5.1.
TPTP Problem (.p)
6.
Additional Help
6.1.
Absolute Lemmas
6.2.
Reporting Bugs
6.3.
Contributors
Light
Rust
Coal
Navy
Ayu
The Anthem Manual
Introduction