Athena Language
Welcome
Introduction
Setup & Installation
An Overview of Athena
A Quick Tutorial
Functional Programming & Pattern Matching
Using & Creating Modules
Builtin Data Types
Tips & Tricks
Many Sorted First Order Logic
Theorem Proving with Athena
Equational Reasoning
Term Rewriting for Executable Specifications
Propositional and Predicate Logic
Proofs by Induction
Core Proof Methods
Generating Custom Proof Methods
Working with the Assumption Base
Examples
The Alternating Bit Protocol
A Certified Interpreter
Finite State Machines
A SAT Solver
A Simple Type System
Other
Frequently Asked Questions
History
Editor Support & Tooling
Benchmarks
Change Log
Theorem Proving with Athena
Equational Reasoning
Athena Language