Sign up for Zulip

automathind

https://automathind.zulipchat.com

Informal group for discussing work concerning Automating Mathematics in the broad sense, in particular efforts in India.

You need an invitation to join this organization.