Added example texts

Signed-off-by: Andreas Florath <[email protected]>

README.md

@@ -3,6 +3,13 @@ license: bigcode-openrail-m
 pipeline_tag: text-generation
 library_name: peft
 base_model: mistralai/Mistral-7B-v0.1
+widget:
+- example_title: "Proof: n = n + 0"
+  text: "Lemma plus_n_O : forall n:nat, n = n + 0."
+- example_title: "Proof: 7 + 3 = 10"
+  text: "Lemma ex1: 7 + 3 = 10."
+- example_title: "Wrong proposition"
+  text: "Lemma mult_S : forall m n : nat, S (m * n) = m * n + n."
 ---
 # Model Card for CoqLLM-FineTuned-Experiment-Gen0