Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / Atom feed

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
     [not found] <f24e54ff-866b-0640-ebae-e683ddfa753d@math.su.se>
2019-05-24 16:44 ` [HoTT] Final CFP - MLoC 2019 : The Scope and Limits of Neutral Constructivism (Stockholm, August 20-23) Erik Palmgren

Discussion of Homotopy Type Theory and Univalent Foundations

Archives are clonable: git clone --mirror http://inbox.vuxu.org/hott

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.hott


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git