Homotopy Type Theory

Contact owners and managers
homotopytypetheory@googlegroups.com

Description

Discussions about homotopy type theory, including math and implementation in Coq.

Language

English (United States)

Privacy

Anyone on the web
can see group
Group owners and managers
can view members
Anyone on the web
can view conversations
Group members
can post but posts from new members will be held for moderation
Anyone on the web
can join group