{"repository":{"description":"An interactive theorem prover based on lambda-tree syntax","homepage":"http://abella.cs.umn.edu","watchers":0,"stargazers":0,"forks":0,"fork":true,"size":2959,"owner":"chaudhuri","private":false,"open_issues":0,"has_issues":false,"has_downloads":false,"has_wiki":true,"language":"OCaml","created_at":"2011-08-25T01:21:56-07:00","pushed_at":"2013-07-19T06:50:58-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Kaustuv Chaudhuri","company":"INRIA","blog":"http://kaustuv.chaudhuri.info","location":"Paris, France","email":"00592c4bdebebecc7d9271ee71183bf4f288a19c@chaudhuri.info"},"url":"https://github.com/chaudhuri/abella/compare/ab3b024118...17ed971639"}