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

一个简单的证据

Created: November-22, 2018 

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

在浏览器中试用它 。