Homotopy Type Theory

Contact owners and managers

HomotopyTypeTheory@googlegroups.com

Description

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

English (United States)

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 ask to join group