开始使用 coq

本节概述了 coq 是什么，以及开发人员可能想要使用它的原因。

它还应该提到 coq 中的任何大型主题，并链接到相关主题。由于 coq 的文档是新的，你可能需要创建这些相关主题的初始版本。