IAS Univalent Foundations
Contact owners and managers
univalent-foundations@googlegroups.com
Description
Communication among participants in the Special Year on Univalent Foundations of Mathematics at the IAS
Language
English
Privacy
Anyone on the web
can see group
Group members
can view members
Anyone on the web
can view conversations
Group members
can post and will be held for moderation
Invited users
can join group