Move author list to landing page

rems-project · Nov 21, 2024 · 8cfb881 · 8cfb881
1 parent c34e846
commit 8cfb881
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/docs/README.md b/docs/README.md
@@ -1,5 +1,8 @@
 # Welcome to CN
 
+_These tutorials and docs were developed by Christopher Pulte, Benjamin C.
+Pierce, and Cole Schlesinger, with contributions from Elizbeth Austell._
+
 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.