Groups
Sign in
Groups
HoTT Cafe
Conversations
About
Send feedback
Help
HoTT Cafe
Contact owners and managers
hott-cafe@googlegroups.com
Description
A place where non-experts can discuss homotopy type theory and related topics. Experts are welcome to join in of course!
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
Anyone on the web
can ask to join group