Big Books of 2026

jado’s Reviews > Homotopy Type Theory > Status Update

jado
jado is on page 55 of 618
I will probably return to this at a later date.
— Sep 06, 2022 11:17AM
Homotopy Type Theory

flag

Post a comment »
Comments

No comments have been added yet.


All of jado’s status updates
Everyone’s updates from this book