2 ms·The HoTT book: Group of two dozen mathematicians wrote a 600 page book [free]2 points by X4 13y ago