diff --git a/README.md b/README.md
index fa7bd90..16a4d20 100644
--- a/README.md
+++ b/README.md
@@ -49,6 +49,7 @@ notations.
   - Robbert Krebbers (initial)
 - Coq-community maintainer(s):
   - Bas Spitters ([**@spitters**](https://github.com/spitters))
+  - Xia Li-yao ([**@Lysxia**](https://github.com/Lysxia))
 - License: [MIT License](LICENSE)
 - Compatible Coq versions: Coq 8.18 or later (use releases for other Coq versions)
 - Additional dependencies:
diff --git a/meta.yml b/meta.yml
index bd0d312..80c7b8f 100644
--- a/meta.yml
+++ b/meta.yml
@@ -41,6 +41,8 @@ authors:
 maintainers:
 - name: Bas Spitters
   nickname: spitters
+- name: Xia Li-yao
+  nickname: Lysxia
 
 opam-file-maintainer: b.a.w.spitters@gmail.com