{"repository":{"description":"An interactive theorem prover based on lambda-tree syntax","homepage":"http://abella.cs.umn.edu","watchers":6,"stargazers":6,"forks":4,"fork":false,"size":184,"owner":"abella-prover","private":false,"open_issues":0,"has_issues":true,"has_downloads":false,"has_wiki":false,"language":"OCaml","created_at":"2009-12-25T15:36:20-08:00","pushed_at":"2013-07-13T14:34:45-07:00","master_branch":"master","organization":"abella-prover"},"actor_attributes":{"type":"User","name":"Yuting Wang","company":"","email":"a9f67fae324263dbf16b6daed3ebf74c049ca542@cs.umn.edu"},"url":"https://github.com/abella-prover/abella/compare/58b5f9836a...f488016203"}