mathlingua
No user record in our sample, but mathlingua has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
No user record in our sample, but mathlingua has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
Looks really cool. I am also really interested in this space and have been working on Mathlore (https://mathlore.org) that uses a custom language, Mathlingua (https://mathlingua.org) to record all aspects of…