From fa1e6f75ceb4f2a99dc1c107bfe60434356cfe19 Mon Sep 17 00:00:00 2001
From: JJ
Date: Tue, 20 Feb 2024 17:28:49 -0800
Subject: meow

---
 _layouts/foundations.html | 6 ------
 1 file changed, 6 deletions(-)

(limited to '_layouts/foundations.html')

diff --git a/_layouts/foundations.html b/_layouts/foundations.html
index ac33e10..a1ae590 100644
--- a/_layouts/foundations.html
+++ b/_layouts/foundations.html
@@ -16,12 +16,6 @@ layout: default
     <a href="/mathematics/algebra">algebra</a>
     <a href="/mathematics/analysis">analysis</a>
   </nav>
-  <nav>
-    <a href="/mathematics/logic">logic</a>
-    <a href="/mathematics/proof">proof</a>
-    <a href="/mathematics/types">types</a>
-    <a href="/mathematics/category-theory">category theory</a>
-  </nav>
 </div>
 </header>
 <main>
-- 
cgit v1.2.3-70-g09d2