{"repository":{"owner":"mikeshulman","homepage":"http://homotopytypetheory.org/","master_branch":"master","created_at":"2011-11-13T18:23:07-08:00","has_issues":false,"has_downloads":true,"description":"Homotopy type theory","language":"Coq","fork":true,"size":208,"watchers":7,"has_wiki":true,"private":false,"open_issues":0,"pushed_at":"2013-02-05T16:44:00-08:00","stargazers":7,"forks":2},"actor_attributes":{"type":"User","name":"Mike Shulman","blog":"http://www.math.ucsd.edu/~mshulman","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/mikeshulman/HoTT/compare/forall"}