Lancern's Treasure Chest
16:09 · Dec 25, 2022 · Sun
Introduction to Homotopy Type Theory
https://arxiv.org/abs/2212.11082
Home
Powered by
BroadcastChannel
&
Sepia
