enjoyer of set theory, formalized mathematics.

working on finding mathematical and computational structures to faithfully represent 20th century mathematics and beyond

☸️