Francisco’s Reviews > Homotopy Type Theory > Status Update

Francisco

Francisco is 20% done

— Dec 20, 2025 03:22AM

Homotopy Type Theory

1 like · Like flag

Francisco’s Previous Updates

Francisco

Francisco is 22% done

— Dec 22, 2025 07:56AM

Homotopy Type Theory

Francisco

Francisco is 17% done

— Dec 18, 2025 03:15AM

Homotopy Type Theory

Francisco

Francisco is on page 60 of 618

— Dec 18, 2025 02:20AM

Homotopy Type Theory

Post a comment »
Comments

No comments have been added yet.

post a comment »

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