1. StackOverflow 文件
  2. coq 教程
  3. 開始使用 coq
  4. 一個簡單的證據

一個簡單的證據

Created: November-22, 2018 

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

在瀏覽器中試用它 。