We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 5e2b290 commit 81b965aCopy full SHA for 81b965a
site/index.html
@@ -33,13 +33,6 @@ <h1 style="margin-top: 10px; margin-bottom: 10px;">Verus: A Practical Foundation
33
Jacob R. Lorch (Microsoft Research),
34
Oded Padon (Weizmann Institute of Science),
35
Bryan Parno (Carnegie Mellon University)
36
-
37
38
- <div style="background-color: #eee; margin-top: 10px; margin-right: 0px;">
39
- The current paper draft (in shepherding) is at
40
- <a href="assets/paper-20240921-162720-b7db935.pdf">assets/paper-20240921-162720-b7db935.pdf</a>
41
- </div>
42
43
</div>
44
<div class="main relative card" style="font-weight: bold;">
45
<h3><a href="guide.html">Artifact Guide</a></h3>
0 commit comments