Development of the univalent foundations of mathematics in Coq - View it on GitHub