{"repository":{"open_issues":0,"owner":"vladimirias","created_at":"2010-10-04T07:57:15-07:00","watchers":65,"homepage":"http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations.html","stargazers":65,"has_issues":true,"has_downloads":true,"pushed_at":"2011-11-06T08:55:45-08:00","description":"Development of the univalent foundations of mathematics in Coq","forks":7,"fork":false,"size":6424,"language":"Verilog","private":false,"has_wiki":true},"actor_attributes":{"name":"Kapulkin Stanislav","type":"User","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/vladimirias/Foundations"}