From 9f6c7a6cdb42e76dbf3ed02abbc3135b78e2c32c Mon Sep 17 00:00:00 2001
From: Cole Schlesinger <63367934+thatplguy@users.noreply.github.com>
Date: Fri, 22 Nov 2024 08:26:45 -0800
Subject: [PATCH] Move author list to landing page (#104)

---
 docs/README.md                           | 14 ++++++++++++++
 docs/getting-started/tutorials/README.md |  3 ---
 2 files changed, 14 insertions(+), 3 deletions(-)

diff --git a/docs/README.md b/docs/README.md
index 6e21abc..1c7870b 100644
--- a/docs/README.md
+++ b/docs/README.md
@@ -1,5 +1,19 @@
 # Welcome to CN
 
+_These tutorials and docs were developed by Christopher Pulte, Benjamin C.
+Pierce, and Cole Schlesinger, with contributions from Elizbeth Austell._
+
+??? info "BibTeX"
+    ```
+	@misc{cn-tutorial,
+	  author = {Christopher Pulte and Benjamin C. Pierce and Cole Schlesinger and Elizabeth Austell},
+	  title = {{CN tutorial}},
+	  howpublished = "\url{https://rems-project.github.io/cn-tutorial/}",
+	  year = {2024}, 
+	  note = "[Online; accessed 26-October-2024]"
+	}
+    ```
+
 CN is an extension of the C programming language for testing and verifying the
 correctness of C code, especially on low-level systems code. Compared to
 standard C, CN checks not only that expressions and statements follow the
diff --git a/docs/getting-started/tutorials/README.md b/docs/getting-started/tutorials/README.md
index 050a345..18f6f17 100644
--- a/docs/getting-started/tutorials/README.md
+++ b/docs/getting-started/tutorials/README.md
@@ -1,8 +1,5 @@
 # CN Tutorials
 
-_These tutorials were developed by Christopher Pulte and Benjamin C. Pierce,
-with contributions from Elizbeth Austell and Cole Schlesinger._
-
 These tutorials introduce CN through a series of examples, starting with basic
 usage of CN on simple arithmetic functions and slowly moving towards more
 elaborate separation logic specifications of data structures.