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