About Boarders

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

Lists

Timeline

boarders has no activity yet