Proof Central
 
Book Resources
Athena
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 support materials for the Fundamental Proof Methods in Computer Science textbook for learning proof methods and practicing their application:

 

Fundamental Proof Methods in Computer Science
Fundamental Proof Methods
in Computer Science
 
A Computer-Based Approach
 
Konstantine Arkoudas
David Musser
 
See also the book’s MIT Press and Amazon pages.

 

Almost all of the book’s examples and exercise solutions use Athena, which is both a programming language and an interactive theorem proving environment. Formerly hosted here on Proof Central, Athena has moved to GitHub and is now hosted by the Athena Foundation, with open source code and binaries for Windows, Mac OS, and Linux. Although Athena is undergoing further development on GitHub, textbook users will retain access there to Athena version 1.4.1 (FPMICS), which works with all of the book’s examples and exercises.

 

Still available here on Proof Central are an Athena User’s Guide and Reference Manual. To support experimenting with variations on the book’s examples and working out solutions to exercises, Proof Central provides code files for all of the book’s eighteen chapters.