CSE-433 Logic in Computer Science - Resources[ Home | Schedule | Assignments | Software | Resources | Students ] gla@postech Sungwoo Park Documents on CoqThere documents are local copies all obtained from the main Coq homepage (for version 8.1).[ Home | Schedule | Assignments | Software | Resources | Students ] gla@postech Sungwoo Park |