Update README.md

coq-community · Aug 8, 2024 · c8079d7 · c8079d7
1 parent 44c1dd3
commit c8079d7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -184,7 +184,7 @@ This extension is currently developed and maintained as part of
 [Enrico Tassi](https://github.com/gares),
 [Romain Tetley](https://github.com/rtetley).
 
-**VsCoq Legacy** is no longer actively developped but is still maintained for compatibility
+**VsCoq Legacy** is no longer actively developed but is still maintained for compatibility
 purposes. It was developped and maintained by
 [Maxime Dénès](https://github.com/maximedenes),
 [Paolo G. Giarrusso](https://github.com/Blaisorblade),