jiaminglimjm

@jiaminglimjm@lemmy.ml

This is a remote user, information on this page may be incomplete. View at Source ↗

Anti-colonialist. Interested in HoTT, languages and formal systems.