Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Move author list to landing page #104

Merged
merged 1 commit into from
Nov 22, 2024
Merged

Move author list to landing page #104

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 14 additions & 0 deletions docs/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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
Expand Down
3 changes: 0 additions & 3 deletions docs/getting-started/tutorials/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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.
Expand Down
Loading