Homotopy Type Theory Ali Caglayan > history (changes)

Showing changes from revision #5 to #6: Added | Removed | Changed

a.k.a alizter < Mathoverflow Ali Caglayan

Ali Caglayan

category: people

Last revised on June 15, 2022 at 10:13:59. See the history of this page for a list of all contributions to it.