Zulip group for constructive mathematics

35 views
Skip to first unread message

Martin Escardo

unread,
Mar 18, 2022, 4:38:46 PM3/18/22
to construc...@googlegroups.com
Dear all,

I've created a Zulip group for constructive mathematics:

https://constructive-maths.zulipchat.com/#

Please join for informal discussions and dissemination of constructive
mathematics to younger people.

All the best,
Martin
Reply all
Reply to author
Forward
0 new messages