r22-2
univalence
ring 22 · position 2 · 75.0°
the word for world is forest
homotopy type theory
what proofs feel like
nostalgia for now
logophilia
anticipation
why does math work
simulation
← center
·
← home