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

一個簡單的證據

Created: November-22, 2018

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

在瀏覽器中試用它 。

• 使用 Nix 安裝
• 開始使用 coq