Home
Language:
Italiano
English
Loading...
(* Coq code *) Require Import Setoid.
Proof Tactics
Apply Theorems
Apply Definitions
Manipulate Hypothesis