The goal of Proof Central is to foster development, understanding, and application of proof methods, especially methods that are fundamental in computer science. Proof Central hosts Athena, both a programming language and an interactive theorem proving environment. Versions for Windows, Mac, and Linux are downloadable from this site. A User’s Guide and Reference Manual are provided, as are support tools such as an Emacs athena-mode to aid in preparation and editing of files containing Athena declarations, definitions, procedures, and proofs.
Proof Central also hosts support materials for a new textbook for learning proof methods and practicing their application: