[no ci] update authors

Author: fblanqui

AUTHORS.md

@@ -1,3 +1,4 @@
-- Quentin Garchery
-- Quentin Buzet
-- Frédéric Blanqui
+- Frédéric Blanqui (2019-)
+- Melanie Taprogge (2025)
+- Quentin Garchery (2022)
+- Quentin Buzet (2022)

lambdapi-stdlib.opam

@@ -6,7 +6,7 @@ classical logic, functions and properties on basic inductive types like
 natural numbers (in base 1 and 2), integers and polymorphic lists.
 """
 maintainer: ["frederic.blanqui@inria.fr"]
-authors: ["Frédéric Blanqui" "Quentin Buzet" "Quentin Garchery"]
+authors: ["https://github.com/Deducteam/lambdapi-stdlib/blob/master/AUTHORS.md"]
 license: "CECILL-2.1"
 homepage: "https://github.com/Deducteam/lambdapi-stdlib"
 bug-reports: "https://github.com/Deducteam/lambdapi-stdlib/issues"