CSE-433 Logic in Computer Science - Software

[ Home | Schedule | Assignments | Software | Resources | Students ] gla@postech Sungwoo Park

The Coq proof assistant (Required)

• We will use the Coq proof assistant for writing proofs in several assignments.
• Please download and install the current version Coq 8.2 from the home page of the Coq project.

AFS client (Required)

• You need to have some way to access the Hemos AFS (Andrew File System). Check out the FAQ section of the Hemos webpage for a brief introduction to the AFS(search "AFS User Guide").
• If you want to mount the AFS on your local machine, visit http://www.openafs.org and install the client software. Use postech.ac.kr as the cell name.

[ Home | Schedule | Assignments | Software | Resources | Students ] gla@postech Sungwoo Park