diff options
| author | JJ | 2024-02-21 01:28:49 +0000 |
|---|---|---|
| committer | JJ | 2024-02-21 01:28:49 +0000 |
| commit | fa1e6f75ceb4f2a99dc1c107bfe60434356cfe19 (patch) | |
| tree | 2c76452361bdbe2166b24f8dd665ac51b4e26ca7 /_layouts/foundations.html | |
| parent | 19ab14173c4242792cee0bd9b75d81c788e0fb70 (diff) | |
meow
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> |