{"repository":{"language":"OpenEdge ABL","owner":"c-cube","has_wiki":true,"description":"An (almost) purely functional superposition prover in OCaml","created_at":"2012-08-15T07:53:47-07:00","watchers":1,"open_issues":0,"stargazers":1,"fork":false,"size":1780,"pushed_at":"2012-09-28T06:49:42-07:00","forks":0,"private":false,"has_downloads":true,"has_issues":true},"actor_attributes":{"type":"User","name":"Simon Cruanes","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/c-cube/zipperposition/compare/e97423c682...ef9d986574"}