{"repository":{"description":"","watchers":3,"stargazers":3,"forks":0,"fork":false,"size":532,"owner":"OpenLogicProject","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"created_at":"2012-12-25T11:14:08-08:00","pushed_at":"2013-05-22T08:21:59-07:00","master_branch":"master","organization":"OpenLogicProject"},"actor_attributes":{"type":"User","name":"Nicole Wyatt","company":"University of Calgary","blog":"nicolewyatt.net","location":"Calgary","email":"89eeddb9e17f2fecbc4cf8e2f08045152667d51c@ucalgary.ca"},"url":"https://github.com/OpenLogicProject/OpenLogic/commit/6fca86a7c47b770ed79e3649f710932acebb76af#first-order-logic/syntax-and-semantics/syntax.tex-P63"}