There are three available courses for learning Athena. The material for these courses consists of thoughtfully curated excerpts from the Athena book.

The three courses are labelled "Minimal", "Quick" and "Complete".

While the "Complete" sequence is recommended and can be completed in a few days of study, "Minimal" is the fastest way to get started. The "Quick" study sequence is very similar to the "Minimal" sequence, but includes additional material on a core aspect of Athena's semantics (the runtime assumption base), as well as material on a very powerful proof mechanism, implication chaining.

Below is a diagram displaying the dependency tree of the course contents, as well as the lesson sequence depending on the chosen path.

The following links correspond to the numbered entries in the tree above. Each link navigates to a downloadable PDF file.

- Athena Overview & Athena Introduction
- Whirlwind Tour
- Assumption Bases
- Directives
- Modules
- Athena Programming
- Proof Basics
- SAT Solving
- SMT Solving and ATPs
- Logic Programming
- Summary and Exercises
- Odds and Ends
- Pattern Matching
- Datatypes
- Sentential Logic
- Equality Chaining
- Predicate Logic
- Implication Chaining
- Predicate Logic Exercises

- Athena Basics: A Short Tutorial
- Pizza, Recursion & Induction
- Automated Theorem Proving in Athena
- Athena Language Reference