Class C A := c : A.
#[export] Instance nat_C : C nat := 0.
#[export] Instance bool_C : C bool := true. Lemma silly {A} `{C A} : 0 = 0 -> c = c -> True. Proof. auto. Qed.
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
