Reference

The reference documents the complete command language of Abella 2.0.8.

• Command reference: the top-level commands, their syntax, and their options.
• Tactics reference: the proof tactics, grouped by purpose, with their arguments and annotations.

For an introduction to the ideas behind the commands, see the walkthrough, the advanced walkthrough, and the pages on the specification logic and reasoning logic.