diff --git a/AUTHORS.md b/AUTHORS.md
new file mode 100644
index 000000000..7ddcaa8c0
--- /dev/null
+++ b/AUTHORS.md
@@ -0,0 +1,15 @@
+# CSLib Authors
+
+## Copyright and Authorship
+
+**Copyright in CSLib is held by the individual authors** who contributed to the code.
+
+Each file in CSLib includes a copyright header that lists the authors who contributed significantly to that specific file (in the opener and in the optional `Authors` field, when there are multiple significant authors). Examples of significant contributions are original creation, major refactoring, or important additions.
+
+To see more people who have contributed to CSLib and own copyright to parts of the codebase, please refer to its Git history (on a web browser, this can be accessed at <https://github.com/leanprover/cslib/commits/main>).
+
+**Note**: Git history may not always be fully comprehensive. In cases where code is co-written, only the person who commits the changes may appear in the Git history, even if multiple people contributed to the work.
+
+## Co-Authorship
+
+To ensure **all contributors are properly credited**, we strongly encourage the use of GitHub's [commit with multiple authors feature](https://docs.github.com/en/pull-requests/committing-changes-to-your-project/creating-and-editing-commits/creating-a-commit-with-multiple-authors) whenever code is co-written. This helps with maintaining accurate attribution in CSLib's Git history.