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
Reporting Bugs
To report bugs or unexpected behavior in Anthem, please email either
zachhansen@unomaha.edu
tobias.stolzmann@gmail.com