Homotopy Type Theory
Events (changes)

Showing changes from revision #20 to #21: Added | Removed | Changed

Passed

category: events

Last revised on May 22, 2020 at 11:23:41. See the history of this page for a list of all contributions to it.