1. StackOverflow 文档
2. coq 教程
3. 开始使用 coq
4. 一个简单的证据

一个简单的证据

Created: November-22, 2018

Theorem my_first_theorem : 1 + 1 = 2.
Proof.
  reflexivity.
Qed.

在浏览器中试用它 。

• 使用 Nix 安装
• 开始使用 coq