{"repository":{"open_issues":23,"owner":"HoTT","homepage":"http://homotopytypetheory.org/","has_issues":true,"watchers":56,"created_at":"2011-03-26T08:59:20-07:00","has_downloads":true,"description":"Homotopy type theory","stargazers":56,"organization":"HoTT","fork":false,"size":224,"language":"Coq","pushed_at":"2013-01-30T14:05:56-08:00","forks":25,"private":false,"has_wiki":true},"actor_attributes":{"blog":"http://andrej.com/","location":"Slovenia","name":"Andrej Bauer","type":"User","company":"University of Ljubljana","email":"9cab395a682ed00a78c031084cd2500c6701b47a@andrej.com"},"url":"https://github.com/HoTT/HoTT/issues/48#issuecomment-12999775"}