{"repository":{"watchers":0,"has_wiki":true,"owner":"urbas","created_at":"2013-01-21T05:55:54-08:00","stargazers":0,"language":"Java","has_issues":true,"pushed_at":"2013-01-21T05:57:43-08:00","description":"MixR is a heterogeneous reasoning framework. It is based on the NetBeans Plathfom and highly extensible. Via MixR drivers existing theorem provers are extended with HR.","forks":0,"fork":false,"size":1516,"has_downloads":true,"private":false,"open_issues":0},"actor_attributes":{"type":"User","name":"Matej Urbas","email":"77d92c3b615a676e76caa78bdfdcb34f10f5b6e0@gmail.com"},"url":"https://github.com/urbas/mixr/compare/master"}