Home
Toggle Coq (debug)
Language:
Italiano
English
Loading...
Select the topic(s) of your theorem:
Write the theorem you want to prove:
Insert Special Symbols:
\(\forall\)
\(L_A\)
\(\mathcal NTerm\)
\(BT_A\)
Set
Start Proof
(* Coq code *) Require Import Setoid.
Proof Tactics
Apply Theorems
Apply Definitions
Manipulate Hypothesis