CSE-433 Logic in Computer Science - Software

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


Resources for OCaml

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 of Coq from the home page of the Coq project.

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