Update template.md

coq · Oct 27, 2024 · bb4ff98 · bb4ff98
1 parent fd7266e
commit bb4ff98
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/template.md b/template.md
@@ -3,6 +3,10 @@ This is a template to start tutorials or how-to
 ```
 (** * TITLE
 
+*** Main contributors
+   
+   ...
+
     *** Summary
 
         ...
@@ -27,4 +31,4 @@ This is a template to start tutorials or how-to
   - Otherwise, it is available via opam under the name ...
 
 *)
-  ```
+  ```