|
|
|
|
|
|
by zepolud
4056 days ago
|
|
|
It should also be added that most of this work is being done publicly and is open to new contributors. You can check Voevodsky's github page[1], and most of the other HoTT collaborators are active members as well. The HoTT book itself is also being collaboratively written there. [1] https://github.com/vladimirias |
|
|