{"repository":{"description":"An interactive theorem prover based on lambda-tree syntax","homepage":"http://abella-prover.org/","watchers":6,"stargazers":6,"forks":5,"fork":false,"size":2875,"owner":"abella-prover","private":false,"open_issues":11,"has_issues":true,"has_downloads":false,"has_wiki":false,"language":"OCaml","created_at":"2009-12-25T15:36:20-08:00","pushed_at":"2013-07-29T08:08:22-07:00","master_branch":"master","organization":"abella-prover"},"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/abella-prover/abella/compare/a6142c7c49...5a44fe4168"}