{"repository":{"watchers":0,"owner":"sergei-romanenko","pushed_at":"2013-01-14T11:26:46-08:00","description":"Experiments with Agda","stargazers":0,"forks":0,"language":"Coq","has_issues":true,"has_downloads":true,"fork":false,"size":720,"created_at":"2012-09-29T06:52:11-07:00","open_issues":0,"has_wiki":true,"private":false},"actor_attributes":{"name":"Sergei Romanenko","company":"Keldysh Institute of Applied Mathematics","blog":"http://pat.keldysh.ru/~roman/","location":"Moscow, Russia","type":"User","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/sergei-romanenko/agda-verification/compare/87de633194...48f1e5675e"}