Big Books of 2026

Anna’s Reviews > Homotopy Type Theory > Status Update

Anna
Anna is on page 42 of 618
Yep. We're back on that HoTT grind
— Oct 14, 2025 05:49AM
Homotopy Type Theory

1 like ·  flag

Anna’s Previous Updates

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


Anna
Anna is on page 11 of 618
— Jun 24, 2025 08:35AM
Homotopy Type Theory


Post a comment »
Comments Showing 1-2 of 2 (2 new)

dateUp arrow    newest »

message 1: by I_am_Owl (new)
Oct 14, 2025 05:57AM

I_am_Owl woohoo


message 2: by chad (new) - added it
Oct 14, 2025 12:41PM

chad chrysanthemum fuck yeahhhh


back to top

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