Anna’s Reviews > Homotopy Type Theory > Status Update

Anna

Anna is on page 78 of 618

Me when the types are homo - onto chapter two !! (Iwhat the hell is a higher order groupoid)

— Oct 16, 2025 03:35PM

Homotopy Type Theory

1 like · Like flag

Anna’s Previous Updates

Anna

Anna is on page 42 of 618

Yep. We're back on that HoTT grind

— Oct 14, 2025 05:49AM

Homotopy Type Theory

Anna

Anna is on page 11 of 618

— Jun 24, 2025 08:35AM

Homotopy Type Theory

Post a comment »
Comments

No comments have been added yet.

post a comment »

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