1. StackOverflow 文件
2. coq 教程

coq 教程

• 開始使用 coq 使用搜尋和變體搜尋現有事實 使用戰術

• 開始使用 coq

• 使用搜尋和變體搜尋現有事實

• 使用戰術