A movie about the collaborative effort in writing the book "Homotopy Type Theory: Univalent Foundations of Mathematics" (homotopytypetheory.org/book/). The book was written in the academic year 2012/13 by the members of the Univalent Foundations Project at the Institute for Advanced study.
The movie was made with the gource program, which animates the activity on a git repository.
