DavidJaz

A mathematician. Interested in categorical systems theory, modal type theory, and what it means to be a "thing".

DavidJaz's Stars

DavidJaz doesn’t have any stars yet.