blob: 77bb2370fd2b8ba56a4824e95ea2e36d41b9192f (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
---
layout: default
---
<header>
<h1>
<a href="https://apropos.codes">apropos</a>
</h1>
<div>
<nav>
<b><a href="/mathematics">mathematics</a></b>
<a href="/linguistics">linguistics</a>
<a href="/computation">computation</a>
<a href="/ctf">ctf</a>
</nav>
<nav>
<b><a href="/foundations">foundations</a></b>
<a href="/algebra">algebra</a>
<a href="/analysis">analysis</a>
</nav>
<nav>
<a href="/foundations/logic">logic</a>
<a href="/foundations/proof">proof</a>
<a href="/foundations/types">types</a>
<a href="/foundations/category-theory">category theory</a>
</nav>
</div>
</header>
<main>
{{ content }}
</main>
|
