diff options
Diffstat (limited to '_layouts/foundations.html')
| -rw-r--r-- | _layouts/foundations.html | 6 |
1 files changed, 0 insertions, 6 deletions
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> |