From 324eb4884a9925846d4305e85d5a50b118c96c9d Mon Sep 17 00:00:00 2001
From: kamal <kamal@noreply-vcs@mail.lo.sh>
Date: Thu, 23 Apr 2026 05:15:13 +0000
Subject: [PATCH] Update _Sidebar

---
 _Sidebar.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/_Sidebar.md b/_Sidebar.md
index 95f9ff3..0cb2b1d 100644
--- a/_Sidebar.md
+++ b/_Sidebar.md
@@ -10,6 +10,8 @@
 
 ### Trust
 
+- [Paper](Paper)
+- [Formal Verification](Formal-Verification)
 - [Audit & Testing](Audit-and-Testing)
 - [Security Policy](Security-Policy)