@fabianhjr yes those are good.
but do they have documentation written as math text is written?
@xahlee depends if you are into Homotopy TT/Per Martin-Löf TT/Category Theory as foundations of mathematics.
@fabianhjr yes. am learning it.
social.coop is a cooperatively-run corner of the Fediverse. The instance is democratically governed by its members, who generally share an interest in the co-op model, but topics of discussion range widely.
Our instance is supported by sliding scale contributions of $1-10/mo made via Open Collective. You must have an active Open Collective account to apply for membership; you may set one up here