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.
OR