enjoyer of set theory, formalized mathematics. working on finding mathematical and computational structures to faithfully represent 20th century mathematics and beyond ☸️
enjoyer of set theory, formalized mathematics. working on finding mathematical and computational structures to faithfully represent 20th century mathematics and beyond ☸️