Skip to content

Commit

Permalink
remove quotation marks
Browse files Browse the repository at this point in the history
Signed-off-by: Birgit Brecknell <b@brck.nl>
  • Loading branch information
bbrcknl committed Sep 30, 2024
1 parent b35ac78 commit ec8ebbd
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion _news-items/2024-09-30-lewis-clark.html
Original file line number Diff line number Diff line change
Expand Up @@ -12,5 +12,5 @@
<img src="../Foundation/Membership/LOGOS/lewis-clark.svg"
style="width: 15%; margin-right:20px; float: right;" alt="Lewis & Clark logo">
</a>
"Lewis & Clark is a private, liberal arts college located in the Pacific Northwest of the United States. In our mathematical sciences department, we are pursuing the goal of making single-function connected devices more secure. Towards this end, we are proving a minimal, pure IPv6 networking stack implementation correct. We rely on seL4's infrastructure (i.e., microkernel, microkit, and device driver framework) as well as seL4's methodologies (e.g., proofs verified by Isabelle/HOL)."
Lewis & Clark is a private, liberal arts college located in the Pacific Northwest of the United States. In our mathematical sciences department, we are pursuing the goal of making single-function connected devices more secure. Towards this end, we are proving a minimal, pure IPv6 networking stack implementation correct. We rely on seL4's infrastructure (i.e., microkernel, microkit, and device driver framework) as well as seL4's methodologies (e.g., proofs verified by Isabelle/HOL).
</p>

0 comments on commit ec8ebbd

Please sign in to comment.