Add main contributors field in Explanation_Template_Polymorphism.v

coq · Aug 18, 2024 · 38f63b1 · 38f63b1
1 parent 33383e3
commit 38f63b1
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/Explanation_Template_Polymorphism.v b/src/Explanation_Template_Polymorphism.v
@@ -1,5 +1,9 @@
 (** * Template vs. “full” universe polymorphism
 
+    *** Main contributors
+
+    Sébastien Michelland, Yannick Zakowski.
+
     *** Summary
 
     Universe polymorphism in Coq is a thorny subject in general, in the sense