The goal of Proof Central is to foster development, understanding, and application of proof methods, especially methods that are fundamental in computer science. At present, Proof Central serves as the home of Athena, which is both a programming language and an interactive theorem proving environment. Athena will play a crucial role in a forthcoming undergraduate textbook for teaching proof methods and practicing their application, and providing support materials for the textbook will be a future service of Proof Central.

January 20, 2016: Athena Version 1.2 is now available for download.