Skip to content

Commit

Permalink
pointer to rendered version
Browse files Browse the repository at this point in the history
  • Loading branch information
@utaal
utaal committed Aug 20, 2024
1 parent 904dfa1 commit 92eef42
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions site/guide.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,8 @@ layout: md
title: "Verus: A Practical Foundation for Systems Verification<br/>Artifact Guide"
---

This file is rendered at https://verus-lang.github.io/paper-sosp24-artifact/guide.html

# Overview and technical requirements

There are three sets of experiments with different technical requirements.
Expand Down

0 comments on commit 92eef42

Please sign in to comment.