Arets Paeglis’s Reviews > Homotopy Type Theory > Status Update

Arets Paeglis

Arets Paeglis is 60% done

— May 05, 2015 11:27AM

Homotopy Type Theory

Like flag

Arets’s Previous Updates

Arets Paeglis

Arets Paeglis is 60% done

Currently on hiatus.

— Jan 13, 2016 10:42AM

Homotopy Type Theory

Arets Paeglis

Arets Paeglis is 21% done

— Jan 08, 2015 02:18AM

Homotopy Type Theory

Arets Paeglis

Arets Paeglis is 15% done

— Jan 04, 2015 01:19AM

Homotopy Type Theory

Post a comment »
Comments

No comments have been added yet.

post a comment »

All of Arets’s status updates
Everyone’s updates from this book