Homotopy Type Theory Events > history (Rev #22)

Passed

category: events

Revision on January 25, 2021 at 17:56:36 by Nicolas Tabareau?. See the history of this page for a list of all contributions to it.