it's not exactly the most prestigious work — definitely not perceived to be as cool as formalising some big result or writing up cool new type theories to work with super complicated objects — but i actually really like doing "sci comm" for type theory
Conversation
Replying to
It's such incredibly important work! I hope more people perceive it as cool like me: on-par with figuring out new TTs, doing formalisation etc.