r20-2
curry-howard
ring 20 · position 2 · 75.0°
saudade
proof as program
homotopy type theory
the present has no width
glossolalia
life as time reversal
the beauty of proof
models all the way down
← center
·
← home