{"repository":{"watchers":7,"has_wiki":true,"owner":"keymaerad","pushed_at":"2013-01-13T13:02:45-08:00","description":"theorem prover for quantified differential dynamic logic","stargazers":7,"forks":1,"organization":"keymaerad","language":"Scala","fork":false,"size":216,"has_issues":true,"has_downloads":true,"created_at":"2011-07-23T06:22:04-07:00","open_issues":0,"private":false,"homepage":""},"actor_attributes":{"location":"Pittsburgh, PA","type":"User","name":"David Renshaw","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/keymaerad/KeYmaeraD/compare/cc72be887a...4451c388f0"}