CSE-433 Logic in Computer Science - Resources

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


Book on Coq

Documents on Coq

These documents are local copies all obtained from the main Coq homepage.

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