子篆林’s Reviews > Homotopy Type Theory > Status Update

子篆林

子篆林 is 50% done

— May 20, 2021 05:08AM

Homotopy Type Theory

Like flag

Post a comment »
Comments

No comments have been added yet.

post a comment »

All of 子篆’s status updates
Everyone’s updates from this book