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 23, 2017: Athena Version 1.3 is now available for download.