{"repository":{"owner":"urbas","has_downloads":true,"pushed_at":"2013-01-21T05:55:55-08:00","forks":0,"has_wiki":true,"created_at":"2013-01-21T05:55:54-08:00","fork":false,"size":0,"open_issues":0,"watchers":0,"private":false,"has_issues":true,"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.","stargazers":0},"actor_attributes":{"email":"77d92c3b615a676e76caa78bdfdcb34f10f5b6e0@gmail.com","type":"User","name":"Matej Urbas"},"url":"https://github.com/urbas/mixr"}