{"repository":{"description":"Coq solutions to exercises in HoTT book","watchers":0,"stargazers":0,"forks":0,"fork":false,"size":200,"owner":"ezyang","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Coq","created_at":"2013-07-12T21:33:39-07:00","pushed_at":"2013-12-27T05:34:19-08:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Jason Gross","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/ezyang/HoTT-coqex/commit/dfd045a165ce7e081b700c4d032df511b9a4d028#ch3.v-P79"}