About Boarders

Interested in mathematics (homotopy theory, category theory, topos theory), programming languages, and philosophy.

Lists

Timeline

{username} has no activity yet