Move author list to landing page (#104)

rems-project · Nov 22, 2024 · 9f6c7a6 · 9f6c7a6
1 parent c34e846
commit 9f6c7a6
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 3 deletions.
diff --git 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
@@ -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.