News for hackers. Stuff that matters.

A comment on How Math’s Most Famous Proof Nearly Broke (2015). Parent comment

Re:How Math’s Most Famous Proof Nearly Broke (2015) by alimw on Friday December 21, 2018 @01:12PM (#18735203)
If you're specifically interested in Univalent Foundations, just read the book. https://homotopytypetheory.org/book/
[ Parent | on HN ]

There are no comments on this comment yet.