Univalent Foundations Project

Univalent Foundations Project’s Followers

None yet.

Univalent Foundations Project

Combine Editions
Univalent Foundations Project’s books

Average rating: 5.0 · 2 ratings · 0 reviews · 2 distinct works

Homotopy Type Theory

Homotopy Type Theory

it was amazing 5.00 avg rating — 1 rating

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

* Note: these are all the books on Goodreads for this author. To add more, click here.

Is this you? Let us know. If not, help out and invite Univalent to Goodreads.