About axiom
they/them. undergrad - type theory, software verification, category theory, cryptography, topology.
Lists
axiom has no public lists
Timeline
axiom has no activity yet
they/them. undergrad - type theory, software verification, category theory, cryptography, topology.
axiom has no public lists
axiom has no activity yet