Status Updates From Homotopy Type Theory

Homotopy Type Theory
by

The Univalent Foundations Program

all editions | this edition
show all updates | only show updates with text

Status Updates Showing 1-30 of 101

Francisco is 22% done

— Dec 22, 2025 07:56AM Add a comment

Francisco is 20% done

— Dec 20, 2025 03:22AM Add a comment

Francisco is 17% done

— Dec 18, 2025 03:15AM Add a comment

Francisco is on page 60 of 618

— Dec 18, 2025 02:20AM Add a comment

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 Add a comment

Anna is on page 42 of 618

Yep. We're back on that HoTT grind

— Oct 14, 2025 05:49AM 2 comments

Anna is on page 11 of 618

— Jun 24, 2025 08:35AM Add a comment

monderin is on page 37 of 618

was grad school a mistake.epub lol this stupid book is unearthing feelings of self hatred i forgot i possessed holy MOLY 🤣🤣

— Apr 21, 2025 02:21PM Add a comment

Will Sturgeon is on page 62 of 618

— Apr 06, 2025 01:27PM Add a comment

Thales is on page 77 of 618

— Dec 03, 2024 06:41PM Add a comment

Sergio Domínguez is 20% done

— Mar 22, 2024 04:58AM Add a comment

Yago is on page 7 of 618

— Oct 21, 2023 12:07AM Add a comment

Mat is on page 10 of 618

— Jun 30, 2023 08:17PM Add a comment

jado is on page 55 of 618

I will probably return to this at a later date.

— Sep 06, 2022 11:17AM Add a comment

Salvador Guzman is 6% done

— Apr 15, 2022 10:25PM Add a comment

Salvador Guzman is 4% done

— Apr 15, 2022 08:32PM Add a comment

Edward is on page 130 of 618

— Apr 02, 2022 04:39PM Add a comment

Edward is on page 105 of 618

— Mar 18, 2022 12:23PM Add a comment

Edward is on page 90 of 618

— Mar 16, 2022 09:57AM Add a comment

Edward is on page 60 of 618

— Mar 11, 2022 10:58AM Add a comment

Edward is on page 30 of 618

— Mar 05, 2022 01:56AM Add a comment

Edward is on page 5 of 618

Going to be a long haul!

— Mar 05, 2022 01:55AM Add a comment

Kartik Singhal is on page 62 of 618

— Nov 10, 2021 10:54AM Add a comment

Kartik Singhal is on page 59 of 618

— Oct 21, 2021 08:13PM Add a comment

子篆林 is 50% done

— May 20, 2021 05:08AM Add a comment

K Sadov is on page 46 of 618

— Jan 08, 2021 02:16PM Add a comment

K Sadov is on page 42 of 618

— Jan 05, 2021 03:01PM Add a comment

Arioston Jaerger is on page 77 of 618

— Oct 12, 2020 07:10AM Add a comment

Greg Pfeil is 14% done

— Feb 19, 2020 07:05AM Add a comment

Greg Pfeil is 10% done

— Feb 04, 2020 08:48PM Add a comment

« previous 1 2 3 4 next »