coq Getting started with coq A simple proof


Example

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

Try it in your browser.