Update README.md

jeremyThibault · web-flow · commit 7a1e046e250b · 2025-05-08T06:32:33.000+02:00
diff --git a/README.md b/README.md
@@ -23,4 +23,4 @@ This Coq development is licensed under the Apache License, Version 2.0 (see `LIC
 
 ### Main Contributors ###
 
-This Coq development's main contributors include Carmine Abate, Roberto Blanco, Catalin Hritcu, and Jérémy Thibault.
+This Coq development's main contributors include Carmine Abate, Roberto Blanco, Deepak Garg, Catalin Hritcu, Marco Patrignani, and Jérémy Thibault.

Original file line number	Diff line number	Diff line change
@@ -23,4 +23,4 @@ This Coq development is licensed under the Apache License, Version 2.0 (see `LIC
`23`	`23`
`24`	`24`	`### Main Contributors ###`
`25`	`25`
`26`		`-This Coq development's main contributors include Carmine Abate, Roberto Blanco, Catalin Hritcu, and Jérémy Thibault.`
	`26`	`+This Coq development's main contributors include Carmine Abate, Roberto Blanco, Deepak Garg, Catalin Hritcu, Marco Patrignani, and Jérémy Thibault.`