docs: link to paper in sidebar

zhudotexe · Sep 6, 2024 · c5fa9a9 · c5fa9a9
1 parent 8d6562f
commit c5fa9a9
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/docs/index.rst b/docs/index.rst
@@ -97,4 +97,5 @@ Hands-on examples are available in the `kani repository <https://github.com/zhud
     community/contributing
     community/extensions
     community/showcase
-    Discord <https://discord.gg/eTepTNDxYT>
+    Discord <https://discord.gg/eTepTNDxYT>
+    Paper <https://aclanthology.org/2023.nlposs-1.8/>