1. StackOverflow 文档
2. coq 教程

coq 教程

• 开始使用 coq 使用搜索和变体搜索现有事实 使用战术

• 开始使用 coq

• 使用搜索和变体搜索现有事实

• 使用战术