Homotopy Type Theory

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 members
can view members
Anyone on the web
can view conversations
Group members
can post
Anyone on the web
can ask to join group